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...

Table of Contents:

• FOSAD 2004 (6-11 September 2004)
• Justifying a Dolev-Yao Model Under Active Attacks
• Model-Based Security Engineering with UML
• A Tutorial on Physical Security and Side-Channel Attacks
• Static Analysis of Authentication
• FOSAD 2005 (19-24 September 2005)
• Formal Methods for Smartcard Security
• Privacy-Preserving Database Systems
• Intrusion Detection: Introduction to Intrusion Detection and Security Information Management
• Security and Trust Requirements Engineering.