Open Source Systems Security Certification

• Κύριοι συγγραφείς: Damiani, Ernesto (Συγγραφέας), Ardagna, Claudio Agostino (Συγγραφέας), El Ioini, Nabil (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Θέματα: 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...

Πίνακας περιεχομένων:

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