seL4 enforces integrity

ITP, pp. 325-340, 2011.

Cited by: 79|Views60
EI

Abstract:

We prove that the seL4 microkernel enforces two high-level access control properties: integrity and authority confinement. Integrity provides an upper bound on write operations. Authority confinement provides an upper bound on how authority may change. Apart from being a desirable security property in its own right, integrity can be used ...More

Code:

Data:

Your rating :
0

 

Tags
Comments