Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers - FAST 2008 (2008 : Malaga, Spain); Degano, Pierpaolo; Guttman, Joshua; Martinelli, Fabio; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer security -- congresses; Formal methods (Computer science) -- Congresses; Computer Communication Networks; Data Encryption; Management of Computing and Information Systems; Computers and Society; Computer Science; Information Storage and Retrieval; Systems and Data Security