Design, Verification and Implementation of MILS systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Design, Verification and Implementation of MILS systems

Julien Delange
  • Function : Author
  • PersonId : 978600
Laurent Pautet
Fabrice Kordon


Safety-critical systems are used in many domains (military, avionics, aerospace, etc.) and handle critical data in hostile environements. These systems must protect data so that only allowed entities can read or write information. However, due to their increased number of functionalities, safety-critical systems design becomes more complex ; this increases difficulties in the design and the verification of security functions. The Multiple Independent Levels of Security (MILS) approach introduces rules and guidelines for the design of secure systems. It isolates data according to their security levels, reducing system complexity to ease development. However, there is no approach addressing the whole development of MILS systems from high- level specification to the final implementation. This paper presents our approach for the design of MILS architectures. We describe security concerns using a modeling language, verify security requirements and automatically implement the system using code generation.
No file

Dates and versions

hal-01288211 , version 1 (14-03-2016)


  • HAL Id : hal-01288211 , version 1


Julien Delange, Laurent Pautet, Fabrice Kordon. Design, Verification and Implementation of MILS systems. The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8. ⟨hal-01288211⟩
41 View
0 Download


Gmail Facebook Twitter LinkedIn More