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 | |
|---|---|
  | 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. |
Talks
| 2015 | |
|---|---|
| Kevin van der Pol. Security Type Checking for MILS-AADL Specifications, Talk at MILS Workshop 2015, 2015. | |