Login / Signup

Architecture Support for Dynamic Integrity Checking.

Arun K. KanuparthiMohamed ZahranRamesh Karri
Published in: IEEE Trans. Inf. Forensics Secur. (2012)
Keyphrases
  • integrity checking
  • integrity constraints
  • deductive databases
  • artificial intelligence
  • general purpose
  • logic programs
  • hard and soft constraints