A Format-Independent Architecture for Run-Time Integrity Checking of Executable Code.

Luigi Catuogno Ivan Visconti

Published in: SCN (2002)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
source code
data flow
constraint logic programming
semantic query optimization
database
databases
metadata
artificial intelligence
formal specification
code generation
texas instruments