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]

Authors

Umut A. Acar

This author has not been identified. Look up 'Umut A. Acar' in Google

Amal Ahmed

This author has not been identified. Look up 'Amal Ahmed' in Google

James Cheney

This author has not been identified. Look up 'James Cheney' in Google

Roly Perera

This author has not been identified. Look up 'Roly Perera' in Google