Полное описание
>
Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), World computer congress, August 22-27, 2004, Toulouse, France / ed. T. Dimitrakos, F. Martinelli. - Electronic text data. - Boston, Ma : International federation for information processing, 2005. - (IFIP international federation for information processing, ISSN 1571-5736 ; 173). - URL: http://dx.doi.org/10.1007/b104303. - ISBN 978-0-387-24098-5.
| ГРНТИ | УДК | |
| 50.37.23 | 004.056(062) |
Рубрики:
Информация -- Сохранность -- Съезды и конференции
Доп. точки доступа:
Dimitrakos, T.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/b104303
Mobile information systems : IFIP TC8 Working conference on mobile information systems (MOBIS) 15-17 September 2004 Oslo, Norway / ed. E. Lawrence [et al.], 2005 r=on-line.Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on mobile and wireless communication Networks (MWCN 2004) October 25-27, 2004, Paris, France. Elizabeth M. Belding-Royer, Khaldoun Agha, Guy Pujolle / SpringerLink (Online service), 2005 r=on-line.Intelligent information processing II : IFIP TC12/WG12.3 International conference on itelligent iformation pocessing (IIP2004) October 21-23, 2004, Beijing, China / eds. Z. Shi, Q.He, 2005 r=on-line.Optical networks and technologies : IFIP TC6 / WG6.10 first Optical Networks & technologies conference (OpNeTec), October 18-20, 2004, Pisa, Italy / ed. K. Kitayama [et al.], 2005 r=on-line.Technology enhanced learning : IFIP TC3 technology enhanced learning workshop (TeL-04), World computer congress, August 22-27, 2004, Toulouse, France / ed. J. Courtiat et al, 2005 r=on-line.Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), World computer congress, August 22-27, 2004, Toulouse, France / ed. T. Dimitrakos, F. Martinelli, 2005 r=on-line.History of nordic computing : IFIP WG9.7 first working conference on the history of nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway / ed. J. Bubenko et al., 2005 r=on-line.Perspectives and policies on ict in society : An IFIP TC9 (computers and society) handbook / ed. J. Berleur, C. Avgerou, 2005 r=on-line.Business agility and information technology diffusion : IFIP TC8 WG 8.6 international working conference May 8-11, 2005, Atlanta, Georgia, U.S.A. / SpringerLink (Online service), 2005 r=on-line.Security and privacy in the age of ubiquitous computing : IFIP TC11 20th International information security conference May 30 - June 1, 2005, Chiba, Japan. / SpringerLink (Online service), 2005 r=on-line.Challenges of expanding internet: e-commerce, e-business, and e-government : 5th IFIP conference e-commerce, e-business, and e-government (I3E-2005), October 28-30, 2005, Poznan, Poland. / SpringerLink (Online service), 2005 r=on-line.Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 joint working conference / eds. P. Dowland [et al.], 2005 r=on-line.E-Training practices for professional organizations : IFIP TC3/WG3.3 fifth working conference on eTRAIN practices for professional organizations (eTrain 2003) July 7-11, 2003, Pori, Finland. / SpringerLink (Online service), 2005 r=on-line.System modeling and optimization : proceedings of the 21st IFIP TC7 conference held in July 21st-25th, 2003, Sophia Antipolis, France / ed. J. Cagnol, J. ZolГ©sio, 2005 r=on-line.The information society: emerging landscapes : IFIP international conference on landscapes of ICT and social accountability, Turku, Finland, June 27-29, 2005 / ed. C. Zielinski [et al.], 2006 r=on-line.Challenges in ad hoc networking : fourth annual mediterranean ad hoc networking workshop, June 21-24, 2005, ГЋle de Porquerolles, France / ed. K. Agha [et al.], 2006 r=on-line.Precision assembly technologies for mini and micro products : proceedings of the IFIP TC5 WG5.5 third International precision assembly seminar (IPAS -2006), 19-21 February 2006, Bad Hofgastein, Austria. / SpringerLink (Online service), 2006 r=on-line.System modeling and optimization : proceedings of the 22nd IFIP TC7 conference held from July 18-22, 2005, in Turin, Italy / ed. F. Ceragioli [et al.], 2006 r=on-line.VLSI-SOC: from systems to chips : IFIP TC 10/ WG 10.5 twelfth International conference on very large scale integration of system on chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany. / SpringerLink (Online service), 2006 r=on-line.Security and privacy in dynamic environments : proceedings of the IFIP TC-11 21st International information security conference (SEC 2006), 22-24 May 2006, Karlstad, Sweden. / SpringerLink (Online service), 2006 r=on-line.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыОценка позиции национального агентства безопасности в отношении к стандарту засекречивания информации / ВЦП. - 21 c. - Текст : непосредственный.Проблемы засекречивания информации в гражданских сетях США / ВЦП. - 22 c. - Текст : непосредственный.Все о шифровальных приборах / ВЦП. - 46 c. - Текст : непосредственный.Угроза терроризма и обработка данных / ВЦП. - 9 c. - Текст : непосредственный.Руководство для менеджера по приобретению средств контроля физического доступа / ВЦП. - 23 c. - Текст : непосредственный.Система RACF фирмы IBM / ВЦП. - 36 c. - Текст : непосредственный.Обеспечение безопасности системы управления базой данных / ВЦП. - 20 c. - Текст : непосредственный.Защита передачи данных. Всесторонний подход / ВЦП. - 33 c. - Текст : непосредственный.Все о станциях восстановления после бедствия / ВЦП. - 69 c. - Текст : непосредственный.Машины для резки бумаги / ВЦП. - 40 c. - Текст : непосредственный.Выбор службы сохранения данных в постороннем месте / ВЦП. - 17 c. - Текст : непосредственный.Ограничения устройств защиты систем с кодовым вызовом / ВЦП. - 27 c. - Текст : непосредственный.Устройство "Мультисентри" фирмы "Тэкт текнолоджи" / ВЦП. - 16 c. - Текст : непосредственный.Обзор устройств физической защиты информации для микрокомпьютеров / ВЦП. - 27 c. - Текст : непосредственный.Система "Секьюре" фирмы "Уинтерхалтер" / ВЦП. - 18 c. - Текст : непосредственный.Плата "Stoplock IV" компании "Сентри системз инк." / ВЦП. - 14 c. - Текст : непосредственный.Угроза программных злоупотреблений и электронные доски объявлений / ВЦП. - 20 c. - Текст : непосредственный.Все о защите средств связи микрокомпьютера с большой ЭВМ и миникомпьютером / ВЦП. - 62 c. - Текст : непосредственный.Тестирование и оценка механизмов аутентификации сообщений для использования в федеральной электронной системе передачи данных Министерства финансов / ВЦП. - 53 c. - Текст : непосредственный.Процедуры Министерства финансов США для сертификации средств защиты электронной передачи сообщений о перемещениях финансовых средств / ВЦП. - 40 c. - Текст : непосредственный.
Показать все результатыDatensicherheit : Tagungsbd.:2.Int.Fachmesse und Kongress fur Datensicherheit,26.-28.Nov.1991 / DATASAFE'91, 1991. - 365 S. - Текст : непосредственный.Eighth annual computer security applications conference,Nov.30-Dec.4,1992,San Antonio(Tx.) : Proc. / Computer security applications conference (8 ; 1992 ; San Antonio,Tx) , 1992. - XXVII,233 p. p. - Текст : непосредственный.5th computer security foundations workshop,June 16-18,1992,Franconia(NH) : Proc. / Computer security foundations workshop (5 ; 1992 ; Franconia,Nh) , 1992. - VIII,189 p. p. - Текст : непосредственный. Sixth annual computer security applications conference,Dec.3-7,1990,Tucson(Az) : Proc. / Computer security applications conference (6 ; 1990 ; Tucson,Az) , 1990. - XX,451 p. p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 2 : Proceedings of the 6-8th symposia 1985-87, 1990. - VI,243 p. p. - Текст : непосредственный.1992 IEEE computer society symposium on research in security and privacy,May 4-6,1992,Oakland(Ca) : Proc. / Symposium on research in security and privacy (1992 ; Oakland,Ca) , 1992. - VIII,293 p. p. - Текст : непосредственный.1991 IEEE computer society symposium on research in security and privacy,May 20-22,1991,Oakland(Ca) : Proc. / Symposium on research in security and privacy (1991 ; Oakland,Ca) , 1991. - IX,389 p. p. - Текст : непосредственный.Computers,freedom & privacy : 1st conf.on computers,freedom & privacy,Mar.26-28,1991,Burlingame(Ca):Proc. / ed. J. Warren, 1991. - XII,230 p. p. - Текст : непосредственный.Seventh annual computer security applications conference,Dec.2-6,1991,San Antonio(Tx) : Proc. / Computer security applications conference (7 ; 1991 ; San Antonio,Tx) , 1991. - XIII,255 p. p. - Текст : непосредственный.Sichere Software:Formale Spezifikation und Verifikation vertrauenswurdiger Systeme : Tagung der Zentralstelle fur Sicherheit in der Informationstechnik,Bonn,27-28.11.1989 / hrsg. H. Kersten, 1990. - 315 S. - Текст : непосредственный.Security for object-oriented systems : Proc.of the OOPSLA-93 conf.workshop on security for object-oriented systems,Washington(DC),26 Sept.1993 / ed. B. Thuraisingham, 1994. - VI,234 p. p. - Текст : непосредственный.Database security IX:status and prospects : Proc.of the 9th annu.IFIP TC11 working conf.,Rensselaerville(New York),Aug.13-16,1995 / ed. D. Spooner, 1996. - XII,402 p. p. - Текст : непосредственный.ELEKTRO'95 : Medzinarodna vedecka konf.,Odborna sekcia:Informacze a zabezpecovacie systemy,Zilina,7-8 febr.,1995 / VSDS(Vysoka skola dopravy a spojov v Ziline), 1995. - 112 s. - Текст : непосредственный.Сборник материалов международной конференции "Безопасность информации" / "Безопасность информации", международная конф. (1997 ; Москва) , 1997. - 393 с. - Текст : непосредственный.COMPASS'88 : Conf.,27 June-1 July 1988,Gaithersburg(Md):Mfiche(2), 1988. - 131 мкфш. - Текст : непосредственный.Proceedings,Apr.18-21,1988,Oakland(Ca) / Symposium on security and privacy (1988 ; Oakland,Ca.) , 1988. - 257 p. - Текст : непосредственный.Security and persistence : Proc.of the intern.workshop on computer architecture to support security and persistence of information, Bremen, May 8-11,1990 / сост.ed. J. Rosenberg, сост.ed. J. L. Keedy, 1990. - 394 p. - Текст : непосредственный.Computer security in the age of information : Proc. of the 5 IFIP intern. conf. on computer security, 19-21 May 1988, Gold Coast / IFIP, 1989. - XV,490 p. p. - Текст : непосредственный.Foundations of secure computation : Proc.of the NATO advanced study inst.on foundations of secure computation, Marktoberdorf, 27Jul.-8 Aug.1999 / ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.
Показать все результатыПросмотр издания