Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP: International Workshop on MILS: Architect...


view this post on Zulip Email Gateway (Aug 19 2022 at 16:06):

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

below is a CfP for MILS, as an architecture amenable to formal
verification, such as Isabelle/HOL.

* Apologies if you receive multiple copies of this email *
* Please distribute to relevant groups, thank you *

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

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

QUICK LINKS

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

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@sysgo.com

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

Workshop committee

Romain Bergé, ITSEF Thales, France
Igor Furgel, ITSEF T-Systems, Germany
Kevin Müller, 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
Sergey Tverdyshev, SYSGO, Germany

best,


Last updated: Mar 28 2024 at 08:18 UTC