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 AV - QA76.9.A25 D56 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Operating systems (Computers) KW - Data encryption (Computer science) KW - Information storage and retrieval systems KW - Information Systems KW - Computer Science KW - Data Encryption KW - Operating Systems KW - Computers and Society KW - Management of Computing and Information Systems KW - Information Storage and Retrieval UR - http://dx.doi.org/10.1007/978-3-540-75227-1 ER -