Cover Image
Read Now

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

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

Full description

Bibliographic Details
Other Authors: Aldini, Alessandro (Editor), Gorrieri, Roberto (Editor), Martinelli, Fabio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005, 2005
Edition:1st ed. 2005
Series:Security and Cryptology
Subjects:
Computer Communication Networks
Computer Science Logic And Foundations Of Programming
Operating Systems
Computer Science
Operating Systems (computers)
Cryptography
Electronic Data Processing / Management
Computer Networks 
Data Protection
Data Encryption (computer Science)
Cryptology
Data And Information Security
It Operations
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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

Similar Items