Formal Policy-Based Provenance Audit.

Denis Butin Denise Demirel Johannes Buchmann

Published in: IWSEC (2016)

Keyphrases

optimal policy
metadata
formal methods
policy making
case study
intrusion detection
data mining techniques
asymptotically optimal
fine grained
data quality
formal model
state dependent