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.
|Kevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. International Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2015.|
|Kevin van der Pol. Security Type Checking for MILS-AADL Specifications, Talk at MILS Workshop 2015, 2015.|