Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures - Aldini, Alessandro; Gorrieri, Roberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Operating systems (Computers); Data encryption (Computer science); Logic design; Information Systems; Computer Science; Operating Systems; Data Encryption; Computer Communication Networks; Management of Computing and Information Systems; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters