Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta. Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. In Sergey Tverdyshev, editor, International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. Zenodo, 2018. [doi]
Abstract is missing.