TY - DATA AU - Dimitrakos,Theo AU - Martinelli,Fabio AU - Ryan,Peter Y.A. AU - Schneider,Steve ED - SpringerLink (Online service) TI - Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540752271 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer Communication Networks KW - Computer Science KW - Data encryption (Computer science) KW - Information storage and retrieval systems KW - Information systems KW - Operating systems (Computers) KW - Computers and Society KW - Data Encryption KW - Information Storage and Retrieval KW - Management of Computing and Information Systems KW - Operating Systems UR - http://dx.doi.org/10.1007/978-3-540-75227-1 ER -