Formal aspects in security and trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / edited by Pierpaolo Degano, Joshua D. Guttman.
Series: Lecture notes in computer science ; 5983Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: 1 online resources(x, 278 p.) : ill., digital ; 24 cmISBN:- 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
- 005.8 22
- QA76.9.A25 F36 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
