A Core Calculus for Provenance

12 years 3 days ago

Download www.ccs.neu.edu

Provenance is an increasing concern due to the revolution in sharing and processing scientiﬁc data on the Web and in other computer systems. It is proposed that many computer systems will need to become provenance-aware in order to provide satisfactory accountability, reproducibility, and trust for scientiﬁc or other high-value data. To date, there is not a consensus concerning appropriate formal models or security properties for provenance. In previous work, we introduced a formal framework for provenance security and proposed formal deﬁnitions of properties called disclosure and obfuscation. This paper develops a core calculus for provenance in programming languages. Whereas previous models of provenance have focused on special-purpose languages such as workﬂows and database queries, we consider a higher-order, functional language with sums, products, and recursive types and functions. We explore the ramiﬁcations of using traces based on operational derivations for the purp...

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer

Real-time Traffic