Published August 31, 2016
| Version v1
Report
Open
Guide to EURO-MILS results
Description
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
Guide-to-EURO-MILS-Results-Public.pdf
Files
(634.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:47847afee5e04dac4c495fb4a3205a50
|
634.5 kB | Preview Download |