Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures - Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer Communication Networks; Data protection; Data encryption (Computer science).; Logic design; Information Systems; Computer Science; Systems and Data Security; Data Encryption; Computer Communication Networks; Management of Computing and Information Systems; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters