Formal Aspects in Security and Trust (vol. # 3866) Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers - FAST 2005 (2005 : Newcastle upon Tyne, England); Dimitrakos, Theo.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer security -- congresses; Formal methods (Computer science) -- Congresses; Trust -- Congresses; Computer Science; Computer Communication Networks; Computers and Society; Data Encryption; Information Storage and Retrieval; Management of Computing and Information Systems; Operating Systems