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

Full description

Bibliographic Details
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:
Online Access:Full Text via HEAL-Link
LEADER 03436nam a22005535i 4500
001 978-0-387-77324-7
003 DE-He213
005 20151204181845.0
007 cr nn 008mamaa
008 110402s2009 xxu| s |||| 0|eng d
020 |a 9780387773247  |9 978-0-387-77324-7 
024 7 |a 10.1007/978-0-387-77324-7  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.A25 
072 7 |a UR  |2 bicssc 
072 7 |a UTN  |2 bicssc 
072 7 |a COM053000  |2 bisacsh 
082 0 4 |a 005.8  |2 23 
100 1 |a Damiani, Ernesto.  |e author. 
245 1 0 |a Open Source Systems Security Certification  |h [electronic resource] /  |c by Ernesto Damiani, Claudio Agostino Ardagna, Nabil El Ioini. 
264 1 |a Boston, MA :  |b Springer US,  |c 2009. 
300 |a XX, 204 p. 40 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a 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. 
520 |a 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 the certification of IT products Common Criteria (ISO/IEC 15408) (CC 2006), a certification officially adopted by the governments of 18 nations. This book discusses Security Certification as a way to foster adoption and deployment of Open Source Software (OSS) in security-sensible markets, such as telecommunications, government and the military. Scientific and technical issues of OSS security certification are highlighted through case studies. This volume is designed for professionals and companies trying to implement an Open Source Systems (OSS) aware IT governance strategy, and SMEs looking for ways to use OSS in order to enter new security-conscious markets traditionally held by proprietary products. This book is also suitable for researchers and advanced-level students interested in OSS development, deployment and adoption issues. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer security. 
650 0 |a Data structures (Computer science). 
650 0 |a Data encryption (Computer science). 
650 1 4 |a Computer Science. 
650 2 4 |a Systems and Data Security. 
650 2 4 |a Data Encryption. 
650 2 4 |a Information Systems Applications (incl. Internet). 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Data Structures, Cryptology and Information Theory. 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
700 1 |a Ardagna, Claudio Agostino.  |e author. 
700 1 |a El Ioini, Nabil.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9780387773230 
856 4 0 |u http://dx.doi.org/10.1007/978-0-387-77324-7  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)