Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers - Dimitrakos, Theo.; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Operating systems (Computers).; Data encryption (Computer science).; Information storage and retrieval systems; Information Systems; Computer Science; Computer Communication Networks; Data Encryption; Operating Systems; Computers and Society; Management of Computing and Information Systems; Information Storage and Retrieval