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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dimitrakos, Theo (Editor), Martinelli, Fabio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2005.
• Series: IFIP International Federation for Information Processing, 173
• Subjects: Computer science.; Computer software > Reusability.; Data structures (Computer science).; Data encryption (Computer science).; Computers.; Computer Science.; Theory of Computation.; Models and Principles.; Performance and Reliability.; Data Encryption.; Information Systems and Communication Service.; Data Structures, Cryptology and Information Theory.

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...