Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Aldini, Alessandro (Editor ), Gorrieri, Roberto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Security and Cryptology ; 4677
Temas:
Cryptography.
Data encryption (Computer science).
Operating systems (Computers).
Computer networks .
Electronic data processing-Management.
Computer science.
Compilers (Computer programs).
Cryptology.
Operating Systems.
Computer Communication Networks.
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
  • Security Protocols: Principles and Calculi
  • Secure Service Orchestration
  • IT Security Analysis Best Practices and Formal Approaches
  • Low-Level Software Security: Attacks and Defenses
  • Enhancing Java Security with History Based Access Control
  • On the Protection and Technologies of Critical Information Infrastructures
  • An Interpretation of Identity-Based Cryptography
  • Trust and Reputation Systems
  • An Introduction to the Role Based Trust Management Framework RT
  • Trusted Mobile Platforms.

Ejemplares similares