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