Location: Amsterdam, The Netherlands
Co-located with the HiPEAC Conference 2015
MILS* is a high-assurance security architecture based on the concepts of separation and controlled information flow. The MILS architectural approach is all about decomposition of system design into well-understood components and their interactions with the target to achieve composable security and composable assurance for the designed system.
The security and assurance composability is a grand challenge which we approach with MILS architectural approach.
Security composition targets defining a secure system from secure components and system architecture. The core of the composable security is a separation kernel (that has overlapping functionality with a hypervisor) that creates partitions to separate different security domains. Such a separation kernel often need to support real-time because there are many use-cases are in embedded systems.
Assurance composition targets creating assurance argument for the overall system from arguments of its components and system's security architecture. We selected Common Criteria to define such a composable assurance framework for MILS system. Amongst others, at the workshop a Protection Profile draft for a MILS separation kernel will be presented and discussed.
The workshop topics are but not limited to:
- MILS architectural approach for security and safety
- MILS components and eco-system
- MILS use-cases, e.g. from avionics, automotive, communications, industrial automation, medical, railway, consumer and similar domains.
- Real-time separation kernels
- MILS certification
- MILS testing and vulnerability analysis of MILS systems
- Cross-European/world-wide high-assurance security
- Formal methods for MILS system as base for high assurance
Submissions do not need to be full papers: this is workshop and we are looking for interesting experience, work, and ideas (possibly preliminary and exploratory) that will stimulate discussion and thought.
Submissions should be in PDF format between 3-12 pages.
We recommend the guidelines for ACM SIG Proceedings.
The submissions page at Easychair is open:
Workshop Programme and Literature
Position papers due: 27 November, 2014
Reviews/decisions: 19 December, 2014
Camera ready versions due: 11 January, 2015
MILS Workshop: 20 January, 2015
Sergey Tverdyshev, SYSGO AG, Germany
FP7 EURO-MILS project
Romain Berge, ITSEF Thales, France
Igor Furgel, ITSEF T-Systems, Germany
Kevin Mueller, Airbus Innovations Work, Germany
Michael Paulitsch, Thales, Austria
Joseph Bergmann, The Open Group, UK
Rance Delong, The Open Group, UK
Harald Rueß, Fortiss, Germany
Andreas Lindinger, Continental Corporation, Germany
Cristina Simache, Altran Sud Ouest, France
Sergey Tverdyshev, SYSGO, Germany
Holger Blasum, SYSGO, Germany
Bertrand Leconte, Airbus SAS, France
* Historically MILS stands for "Multiple Independent Levels of Security" and today is considered as a proper noun.