Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Degano, Pierpaolo (Editor), Guttman, Joshua (Editor), Martinelli, Fabio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5491
• Subjects: Computer science.; Computer communication systems.; Computer security.; Data encryption (Computer science).; Information storage and retrieval.; Computers and civilization.; Management information systems.; Computer Science.; Systems and Data Security.; Computer Communication Networks.; Data Encryption.; Computers and Society.; Management of Computing and Information Systems.; Information Storage and Retrieval.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Comput...