Formal aspects in security and trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers - FAST 2009 (2009 : Eindhoven, Netherlands); Degano, Pierpaolo; Guttman, Joshua D.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer security -- congresses; Formal methods (Computer science) -- Congresses; Public key infrastructure (Computer security) -- Congresses; Computer Science; Computer Communication Networks; Data Encryption; Systems and Data Security; Computers and Society; Management of Computing and Information Systems; Information Storage and Retrieval