Security Evaluation of a Linux System: Common Criteria EAL4+ Certification Experience

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