MILS@DSN

Publications

2018

Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong
A Model-based Approach to Certification of Adaptive MILS. MILS@DSN (2018)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN (2018)
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. MILS@DSN (2018)
Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber
A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. MILS@DSN (2018)
Holger Blasum, Sergey Tverdyshev
Classic and Adaptive AUTOSAR in MILS terms. MILS@DSN (2018)
Reinhard Hametner, Stefan Resch
A Platform Approach for Fusing Safety and Security on a Solid Foundation. MILS@DSN (2018)
Markus Engqvist, Staffan Persson
Cybersecurity in the Railway Sector. MILS@DSN (2018)
Thorsten Schulz, Frank Golatowski, Dirk Timmermann
In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. MILS@DSN (2018)
Chera Bekker, Maurits de Graaf, Gerard Hoekstra, Thomas B. Quillinan
Enabling Civil/Military Cooperation in Crisis Management. MILS@DSN (2018)