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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Aldini, Alessandro (Editor ), Gorrieri, Roberto (Editor ), Martinelli, Fabio (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Security and Cryptology ; 3655
Temas:
Data protection.
Cryptography.
Data encryption (Computer science).
Operating systems (Computers).
Computer networks .
Electronic data processing > Management.
Computer science.
Data and Information Security.
Cryptology.
Operating Systems.
Computer Communication Networks.
IT Operations.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares