Thorsten Schulz, Frank Golatowski, Dirk Timmermann. In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. 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.