Formal Policy-Based Provenance Audit.

Denis Butin, Denise Demirel, Johannes Buchmann

Browse the full IWSEC paper archive.