Jul 18, 2014 · We present a new generic model of separation kernels and a new theory of intransitive noninterference. The model is rich in detail, making it ...

Apr 17, 2016 · Intransitive noninterference has been a widely studied topic in the last few decades. Several well- established methodologies apply ...

(2014) Formal Specification of a Generic Separation Kernel. Archive of Formal Proofs, 2014. Full text not available from this repository. Item Type: Article.

A theory of intransitive noninterference for separation kernels with control is introduced and it can be instantiated for a simple API consisting of IPC and ...

We present a new generic model of separation kernels and a new theory of intransitive noninterference. The model is rich in detail, making it suitable for ...

This paper give an overview to the topic of formal specification and verification of the separation kernel. We overview the concept of separation kernel and ...

Separation kernels are proposed as a solution to develop and verify the large and complex secu- rity kernels that are intended to “provide multilevel secure.

We summarise results from the mechanisation of a separation kernel scheduler using the Z/Eves theorem prover. We concentrate on key data structures to model ...

Abstract—Commodity I/O hardware often fails to separate I/O transfers of isolated OS and applications code. Even when using the best I/O hardware, ...

A separation kernel is a type of security kernel used to simulate a distributed environment. The concept was introduced by John Rushby in a 1981 paper.