We only have this paper's title and publication details.
Read it at the sourceAnswers are grounded in this paper and cite their sources.
EURO-MILS presentation on building and certifying modular secure systems
No takes yet. Share an insight, caveat, or question.
Sergey Tverdyshev (2015) studied this question.