Project Details

Project reference: 318353
Start date: 2012-10-01
End date: 2016-03-31
Duration: 42 months
Project cost: € 8.447.558
Project funding: € 6.000.000
Programme type:
Seventh Framework Programme
Programme acronym:
FP7-ICT-2011-8
Contract type:
Collaborative project

Follow Us On Twitter - Image

linkedin

MILS Workshop 2015 - Literature

 

pdf International Workshop on MILS: Architecture and Assurance for Secure Systems   Download Presentation  ---
pdf EURO-MILS: Building and certifying modular secure systems   Download Presentation  ---
pdf Two Architecture Approaches for MILS Systems in Mobility Domains   Download Presentation Download Paper
pdf ProvenCore: Towards a Verified Isolation Micro-Kernel   Download Presentation Download Paper
pdf Security Type Checking for MILS-AADL Specifications   Download Presentation Download Paper
pdf MILS Initiatives Within The Open Group   Download Presentation  ---
pdf Security-informed safety case approach to Analysing MILS Systems   Download Presentation Download Paper
pdf Evaluation paradigm selection according to Common Criteria for an incremental product development   Download Presentation Download Paper
pdf Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems   Download Presentation  ---
pdf Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms    --- Download Paper
pdf Developing Assurance Cases for D-MILS Systems   Download Presentation Download Paper
pdf Formal Methods for MILS: Formalisations of the GWV Firewall   Download Presentation Download Paper
europa
This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 318353.