[aadl]: CfP: 4th Workshop on MILS: Architecture and Assurance for Secure Systems (co-located with DSN 2018)

[Holger Blasum]

Dear AADL users,

MILS (Multiple Indepent Levels of Security/Safety) is about
decomposing systems into components, that each have well-understood
security policies, which, for example, can be (and have been [*]) modelled in 
AADL.

[*] Previous editions of the work shop have hosted talks about AADL, 
e.g. Pol/Noll, "Security Type Checking for MILS-AADL Specifications"
https://zenodo.org/record/47989
Noll/Wachtmeister, "Analysing Cryptographically-Masked Information Flows
in MILS-AADL Specifications"
https://zenodo.org/record/571173 

Please consider to submit an abstract or forward to potentially
interested colleagues.

Thank you in advance,

Best regards,
Holger


=====================================================================
CALL FOR PAPERS

4th INTERNATIONAL WORKSHOP ON MILS:
ARCHITECTURE AND ASSURANCE FOR SECURE SYSTEMS

25-28 June 2018
Luxembourg City, Luxembourg

The workshop is co-located with the The IEEE/IFIP International
Conference on Dependable Systems and Networks (DSN https://dsn2018.uni.lu/)


=====================================================================
Important dates:
Abstract due:      19 April, 2018
Reviews/decisions: 20 May, 2018
Final Paper:       20 June, 2018
Workshop:	   25-28 June 2018 (exact one day TBC)
=====================================================================

QUICK LINKS
- MILS Workshop http://mils-workshop.mils.community/

- Submission https://easychair.org/conferences/?conf=mils18

=====================================================================

Workshop objectives
-------------------

The complexity, mission-criticality, and connectivity of the modern
systems bring system trustworthiness to the front page. The required
trustworthiness shall provide a sufficient assurance for the safety and
security of the deployed systems. Examples of systems benefiting of,
emerging, or badly needing it, are aircrafts, cars and autonomous
vehicles, C2X/C2C, trains, subways, industrial IoT, traffic management
systems, ships, satellites, medical devices, handheld devices.

The "MILS Workshop" focuses on bringing industry and research
stakeholders together to advance methods, tools, approaches, and
use-case on creating compositional assurance and trustworthiness for
safety, security, and mixed-critical connected systems.

The assurance can be provided for example by architectural approaches,
design properties, technologies, results of analysis, testing, formal
verification, artifacts from model-based engineering, standard-based
certification approaches, as well as assurance maintenance during the
system life-time.

More about MILS
---------------

MILS* is a high-assurance security architecture concept based on the
principles of separation and controlled information flow. The MILS
approach is all about decomposition of a system design into
well-understood components and their interactions with the goal to
achieve composable architecture and composable assurance.

The composability of architecture and assurance as well as assurance
maintenance for safe and secure systems is a grand challenge. The MILS
workshop targets exactly this challenge.

MILS defines a secure system from trustworthy components and system
architecture. The MILS framework for composable architecture is based on
a separation kernel (it can have overlapping functionality with a
hypervisor or a distributed hypervisor) that creates partitions to
separate different security domains. Such a separation kernel often
needs to support real-time because there are many use-cases in embedded
systems. Assurance composition targets creating an assurance argument
for the overall system from arguments of its components and the system's
security architecture.

* Historically MILS stands for "Multiple Independent Levels of Security"
and today is considered as a proper noun.

Workshop topics
---------------

The workshop explicitly welcomes contributions on the industrial
application of compositional assurance, assurance and certification
frameworks, attack methods, and templates for MILS systems.

The workshop topics are, but not limited to
* Compositional approaches for safety and security architectures
* Compositional approaches for safety and security assurance and
certification
* Designing and modelling of assurance cases
* Application of novel and existing information flow models/policies
* Methods and tools for assurance generation, model-based approaches
* Formal methods as a basis for high assurance
* Gap-less path from implementation to assurance
* Maintenance of compositional assurance
* MILS components and eco-system,
* MLS systems and their relation to MILS systems
* Use-cases for compositional design/assurance , e.g. from avionics,
IMA, automotive, Adaptive Autosar, communications, industrial
automation, Industry 4.0, medical, railway, consumer and similar domains.
* Real-time separation kernels
* MILS evaluation and certification
* MILS testing and vulnerability analysis of MILS systems
* Cross-European/world-wide high-assurance security
* Comparison MILS approach to other software engineering approaches and
concepts


=====================================================================
Slides/papers:
If your abstract is accepted you will be invited to submit a
paper/slides. MILS-18 proceedings will be published as online workshop
proceeding at Zenodo (DOI) and http://mils-workshop-2018.mils.community/

=====================================================================

Organisers:
Sergey Tverdyshev, SYSGO AG, Germany
sergey.tverdyshev at sysgo.com

=====================================================================

Program Committee:

Cristina Simache, Altran Sud Ouest
Christoph Krauß, Fraunhofer SIT
Rance DeLong, The Open Group
Burkhart Wolff, Univ Paris-Sud
Gonzalez David, IKERLAN
Dominique Bolignano, Prove&Run
Paul Pop, Technical University of Denmark
Kevin Mueller, Airbus
Stefano Tonetta, FBK
Julien Schmaltz, Precuneus Solutions
Harald Rueß, Fortiss
Miguel Bañón, Epoche and Espri
Michael Paulitsch, Thales
Holger Blasum, SYSGO
Sergey Tverdyshev, SYSGO








-- 
Dr. Sergey Tverdyshev
Director R&T
SYSGO AG
Office Mainz
Am Pfaffenstein 14 / D-55270 Klein-Winternheim / Germany
Phone: +49-6136-9948-788 / Fax: +49-6136-9948-10
VoIP: SIP:stv at sysgo.com
E-mail: sergey.tverdyshev at sysgo.com / Web: http://www.sysgo.com

Handelsregister/Commercial Registry: HRB Mainz 90 HRB 8066
Vorstand/Executive Board: Kai Sablotny
Aufsichtsratsvorsitzender/Supervisory Board Chairman: Marc Darmon
USt-Id-Nr./VAT-Id-No.: DE 149062328


----- End forwarded message -----

-- 
Holger Blasum
SYSGO AG Office Mainz
Am Pfaffenstein 14 / D-55270 Klein-Winternheim / Germany
Phone: +49-6136-9948-425 / Fax: +49-6136-9948-10 / SIP:hbl at sysgo.com
E-mail: holger.blasum at sysgo.com / Web: http://www.sysgo.com
Blog: https://www.sysgo.com/blog 
Events: https://www.sysgo.com/events

Handelsregister/Commercial Registry: HRB Mainz 90 HRB 8066
Vorstand/Executive Board: Etienne Butery (CEO), Kai Sablotny (COO)
Aufsichtsratsvorsitzender/Supervisory Board Chairman: Marc Darmon
USt-Id-Nr./VAT-Id-No.: DE 149062328