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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Aldini, Alessandro (Επιμελητής έκδοσης), Gorrieri, Roberto (Επιμελητής έκδοσης), Martinelli, Fabio (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3655
• Θέματα: 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...

Πίνακας περιεχομένων:

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