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

• Main Author: Dimitrakos, Theo
• Other Authors: Martinelli, Fabio
• Format: Electronic Kit Book
• Language: English
• Published: Boston, MA International Federation for Information Processing 2005
• Series: IFIP International Federation for Information Processing 173
• Subjects: Operating systems (Computers); Data structures (Computer science); Data encryption (Computer science); Optical pattern recognition; Information systems; Computer science; Computer Science; Αξιοπιστία (Μηχανική); Data Structures, Cryptology and Information Theory; Data Encryption; Pattern perception; Information Systems and Communication Service; Models and Principles