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: Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers SN - 9783540326298 AV - QA76.9.A25 F36 2005 PY - 2006/// CY - Berlin, Heidelberg PB - Springer 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/11679219 ER -