Report Open Access

Guide to EURO-MILS results


This document starts with a project summary and is a "cookbook" for developers and researchers in respect to development of high assurance MILS systems based on the EURO-MILS results. It includes a guide to the project deliverables, with embedded links to the public reports. Furthermore it is a roadmap for a novice who would like to develop and get certified high assurance.

Files (634.5 kB)
Name Size
Guide-to-EURO-MILS-Results-Public.pdf md5:47847afee5e04dac4c495fb4a3205a50 634.5 kB Download


Cite as