Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / [electronic resource] :
FAST 2008
edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 330 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5491 0302-9743 ; .
9783642014659 (electronic bk.) 9783642014642 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Computer Communication Networks.
Data Encryption.
Management of Computing and Information Systems.
Computers and Society.
Computer Science.
Information Storage and Retrieval.
Systems and Data Security.
QA76.9.A25 / F36 2008
005.8
9783642014659 (electronic bk.) 9783642014642 (paper)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Computer Communication Networks.
Data Encryption.
Management of Computing and Information Systems.
Computers and Society.
Computer Science.
Information Storage and Retrieval.
Systems and Data Security.
QA76.9.A25 / F36 2008
005.8