TY - DATA AU - Dimitrakos,Theo AU - Martinelli,Fabio ED - SpringerLink (Online service) TI - Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France T2 - IFIP International Federation for Information Processing, SN - 9780387240985 AV - QA76.9.A25 D56 2005 PY - 2005/// CY - Boston, MA PB - International Federation for Information Processing KW - Computer science KW - Operating systems (Computers) KW - Data structures (Computer science) KW - Data encryption (Computer science) KW - Information systems KW - Optical pattern recognition KW - Computer Science KW - Models and Principles KW - Performance and Reliability KW - Data Encryption KW - Information Systems and Communication Service KW - Data Structures, Cryptology and Information Theory KW - Pattern Recognition UR - http://dx.doi.org/10.1007/b104303 ER -