Formal aspects in security and trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
Formal aspects in security and trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / [electronic resource] :
edited by Pierpaolo Degano, Joshua D. Guttman.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- 1 online resources(x, 278 p.) : ill., digital ; 24 cm.
- Lecture notes in computer science, 5983 0302-9743 ; .
9783642124594 (electronic bk.) 9783642124587 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Public key infrastructure (Computer security)--Congresses.
Computer Science.
Computer Communication Networks.
Data Encryption.
Systems and Data Security.
Computers and Society.
Management of Computing and Information Systems.
Information Storage and Retrieval.
QA76.9.A25 / F36 2009
005.8
9783642124594 (electronic bk.) 9783642124587 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Public key infrastructure (Computer security)--Congresses.
Computer Science.
Computer Communication Networks.
Data Encryption.
Systems and Data Security.
Computers and Society.
Management of Computing and Information Systems.
Information Storage and Retrieval.
QA76.9.A25 / F36 2009
005.8