seL4 Enforces Integrity.

Thomas Sewell Simon Winwood Peter Gammie Toby C. Murray June Andronick Gerwin Klein

Published in: ITP (2011)

Keyphrases

integrity constraints
integrity checking
database integrity
data sets
real world
information systems
databases
artificial intelligence
similarity measure
data model
data warehouse
data integrity
high assurance