A core calculus for provenance

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera. A core calculus for provenance. Journal of Computer Security, 21(6):919-969, 2013. [doi]

Abstract

Abstract is missing.