Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers - Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Data protection; Data encryption (Computer science).; Information storage and retrieval systems; Information Systems; Computer Science; Computer Communication Networks; Data Encryption; Systems and Data Security; Computers and Society; Management of Computing and Information Systems; Information Storage and Retrieval