Login / Signup
Architecture Support for Dynamic Integrity Checking.
Arun K. Kanuparthi
Mohamed Zahran
Ramesh 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