Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP: 4th Workshop on MILS: Architecture and As...

Email Gateway (Aug 22 2022 at 16:35):

From: Holger Blasum <hbl@sysgo.com>
Dear Isabelle users,

below the CfP for the 4th workshop on MILS. MILS (multiple independent
levels of safety / security) is a software architecture concept
that is amenable to formal modelization and verification, hence
of interest to list members.

Best, 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@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

Last updated: Apr 30 2024 at 16:19 UTC