Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri.
Series: Lecture notes in computer science ; 5705Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: viii, 338 p. : ill., digital ; 24 cmISBN:- 9783642038297 (electronic bk.)
- 9783642038280 (paper)
- Computer networks -- Security measures -- Congresses
- Computer security -- congresses
- Logics and Meanings of Programs
- Management of Computing and Information Systems
- Computer Communication Networks
- Data Encryption
- Systems and Data Security
- Computer Science
- Programming Languages, Compilers, Interpreters
- 005.8 22
- QA76.9.A25 I5564 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
