[aadl]: CfP MILS workshop Amsterdam 2015-01-20 (EURO-MILS)

[Holger Blasum]

Dear SAE AADL users,

As AADL developments are frequently hosted on MILS platforms[*], the 
following CfP could be of interest to some of you.

[*] for instance, 
http://pagesperso-systeme.lip6.fr/Fabrice.Kordon/pdf/2012-SPE-MILS.pdf
or http://www.cspforum.eu/D2.1_Specification_of_AADL__MILS_Update.pdf.

*** Apologies if you receive multiple copies of this email ***
===========================================================================
	                   CALL FOR PAPERS 
International Workshop on MILS: Architecture and Assurance for Secure Systems
			Amsterdam, 20.01.2015
		co-located with the HiPEAC Conference 2015

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

IMPORTANT DATES
- Paper submission	     	20 November 2014
- Notification of Acceptance	19 December 2014
- Camera-Ready Paper          	11 January 2015
- MILS Workshop			20 January 2015

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

QUICK LINKS
- MILS Workshop		http://mils-workshop.euromils.eu/

- Call for Papers	http://mils-workshop.euromils.eu/downloads/EUROMILS-HIPEAC-MILS-Workshop-2015-CfP.pdf

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

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


You are invited to submit your contribution to the International Workshop on MILS.

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 a system design into well-understood components and their interactions with the goal to achieve composable security and composable assurance for the designed system.

The security and assurance composability is a grand challenge which we undertake to meet using the MILS architectural approach.

Security composition seeks to define a secure system from trustworthy components and system architecture. The framework for composable security is a separation kernel (which has overlapping functionality with a 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.

An 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 MILS System 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 systems as a basis for high assurance

Paper/Presentation submission

Submissions do not need to be full papers: this is a 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.


Electronic Submissions

The submissions page at Easychair is open:
https://easychair.org/conferences/?conf=mils15


Organiser

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

FP7 EURO-MILS project
http://www.euromils.eu

Workshop committee

Romain Berge, ITSEF Thales, France 
Igor Furgel, ITSEF T-Systems, Germany
Bertrand Leconte, Airbus Operations SAS, France
Kevin Mueller, Airbus Group Innovations, 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
 
* Historically MILS stands for "Multiple Independent Levels of Security" and today is considered as a proper noun.

best,

-- 
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