An Audit Logic for Accountability.
J. G. CederquistRicardo CorinM. A. C. DekkerSandro EtalleJ. I. den HartogPublished in: POLICY (2005)
Keyphrases
- knowledge discovery
- modal logic
- multi valued
- deontic logic
- logic programming
- dynamic logic
- computational properties
- search engine
- real time
- proof theory
- intrusion detection
- set theory
- epistemic logic
- predicate logic
- sound and complete axiomatization
- digital circuits
- classical logic
- automated reasoning
- image sequences
- social networks