Abstract is missing.
- Developing Assurance Cases for D-MILS SystemsRichard Hawkins, Tim Kelly, Ibrahim Habli. [doi]
- Evaluation paradigm selection according to Common Criteria for an incremental product developmentAndreas Daniel Sinnhofer, Wolfgang Raschke, Christian Steger, Christian Kreiner. [doi]
- Partitioning in Safety and Security: Mapping to MILS Core Partitioning MechanismsHolger Blasum. [doi]
- ProvenCore: Towards a Verified Isolation Micro-KernelStéphane Lescuyer. [doi]
- Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical SystemsHarald Rueß, Stefano Tonetta. [doi]
- Formal Methods for MILS: Formalisations of the GWV FirewallRuud Koolen, Julien Schmaltz. [doi]
- Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik)Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann. [doi]
- Security Type Checking for MILS-AADL SpecificationsKevin van der Pol, Thomas Noll. [doi]
- Security-Informed Safety Case Approach to Analysing MILS SystemsKateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield. [doi]
- MILS Initiatives Within The Open GroupRance J. DeLong. [doi]
- EURO-MILS: Building and certifying modular secure systemsSergey Tverdyshev. [doi]