Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures /
Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures / [electronic resource] :
edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- viii, 338 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5705 0302-9743 ; .
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.
QA76.9.A25 / I5564 2009
005.8
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.
QA76.9.A25 / I5564 2009
005.8