Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera. A core calculus for provenance. Journal of Computer Security, 21(6):919-969, 2013. [doi]
@article{AcarACP13,
title = {A core calculus for provenance},
author = {Umut A. Acar and Amal Ahmed and James Cheney and Roly Perera},
year = {2013},
doi = {10.3233/JCS-130487},
url = {http://dx.doi.org/10.3233/JCS-130487},
researchr = {https://researchr.org/publication/AcarACP13},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {21},
number = {6},
pages = {919-969},
}