Publications

Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.

Publications

2015
DOIKevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. International Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2015.

Talks

2015
Kevin van der Pol. Security Type Checking for MILS-AADL Specifications, Talk at MILS Workshop 2015, 2015.