TY  - BOOK
AU  - Dimitrakos,Theo
AU  - Martinelli,Fabio
ED  - Workshop on Formal Aspects in Security and Trust
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 
SN  - 9780387240985 (electronic bk.)
AV  - QA76.9.A25 W666 2004
U1  - 005.8 22
PY  - 2005///
CY  - Boston, MA
PB  - International Federation for Information Processing
KW  - Computer security
KW  - congresses
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Trust
KW  - Computer Science
KW  - Performance and Reliability
KW  - Data Structures, Cryptology and Information Theory
KW  - Data Encryption
KW  - Pattern Recognition
KW  - Information Systems and Communication Service
KW  - Models and Principles
UR  - https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b104303
ER  -