Open Source Systems Security Certification

by Ernesto Damiani, Claudio Agostino Ardagna, Nabil El Ioini

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 1441945903
• ISBN13: 9781441945907
• Release Date: November 2010
• Publisher: Springer
• Length: 204 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"