Answers are grounded in this paper and cite their sources.
We introduce a theory of intransitive non-interference for separation kernels with control. We show that it can be instantiated for a simple API consisting of IPC and events.
No takes yet. Share an insight, caveat, or question.
Verbeek et al. (2014) studied this question.