Cyber & formal methods publications June 1, 2011 Conference PaperPolicy-Based Integration of Provenance Metadata ↓ View online Share this