Open Source Systems Security Certification

• Main Authors: Damiani, Ernesto (Author), Ardagna, Claudio Agostino (Author), El Ioini, Nabil (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer security.; Data structures (Computer science).; Data encryption (Computer science).; Computer Science.; Systems and Data Security.; Data Encryption.; Information Systems Applications (incl. Internet).; Programming Languages, Compilers, Interpreters.; Data Structures, Cryptology and Information Theory.; Software Engineering/Programming and Operating Systems.

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

Table of Contents:

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