Sign in

seL4 Enforces Integrity.

Thomas SewellSimon WinwoodPeter GammieToby C. MurrayJune AndronickGerwin 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