Title :
Security Evaluation of a Linux System: Common Criteria EAL4+ Certification Experience
Author :
Recchia, Luca ; Procopio, Giuseppe ; Onofrii, Andrea ; Rogo, Francesco
Author_Institution :
Software Eng. & Technol., MBDA, Rome, Italy
Abstract :
This paper discusses our experience with the certification process of FIN. X RTOS, a Linux distribution certified as Common Criteria Evaluation Assurance Level 4+ (EAL4+). In May 2014, the FIN.X RTOS successfully passed the Common Criteria evaluation process, as stated by the Certification Report: "The product identified in this certificate complies with the requirements of the standard ISO/IEC 15408 (Common Criteria) v. 3.1 for the assurance level: EAL4+ (ALC FLR.1) Rome, May the 21st 2014".
Keywords :
IEC standards; ISO standards; Linux; certification; security of data; FIN.X RTOS certification process; Linux system security evaluation; common criteria EAL4+ certification; common criteria evaluation assurance Level 4+; standard ISO-IEC 15408 v. 3.1; Certification; Kernel; Linux; Security; Testing; Certification; Common Criteria; Evaluation Assurance Level; Linux; Open Source; Operating System; Security;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location :
Naples
DOI :
10.1109/ISSREW.2014.45
