"Confiance Congrès." . . "Formal methods (Computer science)" . . "Performance and Reliability" . . "Performance and Reliability." . "IFIP World Computer Congress (18e : 2004 : Toulouse, France)" . . . . . . . . . . "Electronic books"@en . "Electronic books" . . . . . . . . . "International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springeronline.com. For more information about IFIP, please visit www.ifip.or.at."@en . . . . . . . . . . . . . . . . . . . "Ressources Internet" . "\"Contains the post-proceedings of the second international Workshop on Formal Aspects in Security and Trust (FAST2004), held in Toulouse, 26-27 August 2004. FAST is an event of the 18th IFIP World Computer Congress (WCC2004) and is under the auspices of IFIP WG1.7 on 'Foundations of security analysis and design'\"--Page [v]." . . . . . . . . . . . . . . . . "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" . . . . . . . . . "Formal aspects in security and trust" . . . . . "Conference papers and proceedings" . . "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" . "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"@en . . "Conference papers and proceedings"@en . . . . . . . . "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" . . . . . . "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" . "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"@en . . . . . . . . . . . . . . . . . "Optical pattern recognition." . . "Models and Principles" . . "Models and Principles." . "Information systems." . . "Information systems" . "Trust." . . "Information Systems and Communication Service" . . "Information Systems and Communication Service." . "IFIP TC 1 WG 1.7 Workshop on Formal Aspects in Security and Trust (2 2004.08.22-27 Toulouse)" . . . "Méthodes formelles (Informatique) Congrès." . . "Mental health service system reports. Series FN, Information systems." . . "IFIP World Computer Congress (18th : 2004 : Toulouse, France)" . . . "Data Encryption" . . "Data encryption." . "Data Encryption." . "Confiance." . . "IFIP. Working Group 1.7, Theoretical Foundations of Security Analysis and Design." . . "Pattern perception." . . "Computer science." . . "Computer Science." . "WCC 2004 (18 2004.08.22-27 Toulouse)" . . . "COMPUTERS Networking Security." . . "Workshop on Formal Aspects in Security and Trust, FAST (2nd : 2004 : Toulouse, France)" . . . "Workshop on Formal Aspects in Security and Trust (2o. 2004. Toulouse)" . . . "Operating systems." . . "Electronic books." . . "International Federation for Information Processing Staff," . . "Data encryption (Computer science)" . . "Seguridad informática Congresos Libros electrónicos." . . "Operating systems (Computers)" . . "COMPUTERS Internet Security." . . "Pattern Recognition." . . "Sécurité informatique Congrès." . . . . "FAST 2004 (2 2004.08.22-27 Toulouse)" . . . "IFIP World Computer Congress (18o. 2004. Toulouse)" . . . "Data structures (Computer science)" . . "International Workshop on Formal Aspects in Security and Trust." . . . "IFIP World Computer Congress (18 2004.08.22-27 Toulouse)" . . . "Workshop on Formal Aspects in Security and Trust (2e : 2004 : Toulouse, France)." . . . "Computer Security." . . "Computer security." . "COMPUTERS Security General." . . "Data Structures, Cryptology and Information Theory" . . "Data Structures, Cryptology and Information Theory." . "International Workshop on Formal Aspects in Security and Trust (2 2004.08.22-27 Toulouse)" . . . "IFIP World Computer Congress." . . . "Méthodes formelles (Informatique)" . . "Workshop on Formal Aspects in Security and Trust (2nd : 2004 : Toulouse, France)" . . . "Data structures." . . "Informatique." . .