Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures - Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
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