Abstract is missing.
- Content-Dependent Security Policies in AvionicsTomasz Maciazek, Hanne Riis Nielson, Flemming Nielson. [doi]
- The Security for Safety Problem in Cyberphysical SystemsSemen Kort, Ekaterina Rudina. [doi]
- EURO-MILS: Building and certifying modular secure systemsSergey Tverdyshev. [doi]
- Asset-Centric Security Risk Assessment of Software ComponentsTobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner. [doi]
- An Architecture-Centric Process for MILS DevelopmentJulien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber. [doi]
- Modeling Information Routing with NoninterferenceRuud Koolen, Julien Schmaltz. [doi]
- Non-Interfering Composed EvaluationIgor Furgel, Viola Saftig, Tobias Wagner, Kevin Müller, Reinhard Schwarz, Axel Söding-Freiherr von Blomberg. [doi]
- Applying MILS to multicore avionics systemsPaul J. Parkinson. [doi]
- MILS Compliant Software Architecture for SatellitesHans-Jürgen Herpel, M. Kerep, G. Montano, Knut Eckstein, M. Schön, A. Krutak. [doi]