Title: The MILS architecture for high-assurance embedded systems

Authors: Jim Alves-Foss, Paul W. Oman, Carol Taylor, W. Scott Harrison

Addresses: Center for Secure and Dependable Systems, University of Idaho, Moscow ID 83844, USA. ' Center for Secure and Dependable Systems, University of Idaho, Moscow ID 83844, USA. ' Center for Secure and Dependable Systems, University of Idaho, Moscow ID 83844, USA. ' Department of Mathematical and Computing Sciences, St. John Fisher College, Rochester NY, USA

Abstract: High-assurance systems require a level of rigor, in both design and analysis, not typical of conventional systems. This paper provides an overview of the Multiple Independent Levels of Security and Safety (MILS) approach to high-assurance system design for security and safety critical embedded systems. MILS enables the development of a system using manageable units, each of which can be analysed separately, avoiding costly analysis required of more conventional designs. MILS is particularly well suited to embedded systems that must provide guaranteed safety or security properties.

Keywords: multi-level security; safety; MLS; high assurance; MILS; embedded systems.

DOI: 10.1504/IJES.2006.014859

International Journal of Embedded Systems, 2006 Vol.2 No.3/4, pp.239 - 247

Published online: 12 Aug 2007 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article