Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Aldini, Alessandro (Editor), Gorrieri, Roberto (Editor), Martinelli, Fabio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3655
• Subjects: Computer science.; Computer communication systems.; Operating systems (Computers).; Computer security.; Data encryption (Computer science).; Computer logic.; Management information systems.; Computer Science.; Systems and Data Security.; Data Encryption.; Operating Systems.; Computer Communication Networks.; Management of Computing and Information Systems.; Logics and Meanings of Programs.

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspec...