Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures - Aldini, Alessandro; Gorrieri, Roberto; Barthe, Gilles; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: 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