Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS

Security concerns become increasingly important in safety-critical industrial cyberphysical systems. Different options for security certification exist. We describe a Common Criteria certification for a MILS separation kernel, and IEC 62443 analysis and certifications for the smart grid, railway and subway pilots using the MILS approach in the research project certMILS.

[1]  Helmut Kurth,et al.  Certifying open source - the Linux experience , 2004, IEEE Security & Privacy Magazine.

[2]  Harald Ruess,et al.  Non-functional Avionics Requirements , 2008, ISoLA.

[3]  Frank Golatowski,et al.  Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture , 2021, IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society.