Open Source Systems Security Certification

Open Source Systems Security Certification provides an introduction to the notion of the Security Certification, including test-based and model-based approaches to the certification of software products. Several Security Certification standards are presented, including the international standard for...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Damiani, Ernesto (Autor), Ardagna, Claudio Agostino (Autor), El Ioini, Nabil (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
Data protection.
Cryptography.
Data encryption (Computer science).
Application software.
Compilers (Computer programs).
Data structures (Computer science).
Information theory.
Software engineering.
Data and Information Security.
Cryptology.
Computer and Information Systems Applications.
Compilers and Interpreters.
Data Structures and Information Theory.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Basic Notions on Access Control
  • Test based security certifications
  • Formal methods for software verification
  • OSS security certification
  • Case Study 1: Linux certification
  • Case Study 2: ICSA and CCHIT Certifications
  • The role of virtual testing labs
  • Long-term OSS security certifications: An Outlook.

Ejemplares similares