Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures /

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Aldini, Alessandro (Editor ), Barthe, Gilles (Editor ), Gorrieri, Roberto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Security and Cryptology ; 5705
Temas:
Data protection.
Computer networks .
Cryptography.
Data encryption (Computer science).
Electronic data processing-Management.
Computer science.
Compilers (Computer programs).
Data and Information Security.
Computer Communication Networks.
Cryptology.
IT Operations.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Foundations of Security Analysis and Design
  • Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
  • An Introduction to Certificate Translation
  • Federated Identity Management
  • Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment
  • Logic in Access Control (Tutorial Notes)
  • The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
  • Verification of Concurrent Programs with Chalice
  • Certified Static Analysis by Abstract Interpretation
  • Resource Usage Analysis and Its Application to Resource Certification
  • Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.

Ejemplares similares