{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:25:53Z","timestamp":1784183153700,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642286407","type":"print"},{"value":"9783642286414","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28641-4_22","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T21:10:46Z","timestamp":1332450646000},"page":"410-429","source":"Crossref","is-referenced-by-count":14,"title":["A Core Calculus for Provenance"],"prefix":"10.1007","author":[{"given":"Umut A.","family":"Acar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amal","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Cheney","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roly","family":"Perera","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"6","key":"22_CR1","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1145\/1186632.1186634","volume":"28","author":"U.A. Acar","year":"2006","unstructured":"Acar, U.A., Blelloch, G.E., Harper, R.: Adaptive functional programming. ACM Trans. Program. Lang. Syst.\u00a028(6), 990\u20131034 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1145\/1328438.1328487","volume-title":"POPL","author":"A. Bohannon","year":"2008","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: POPL, pp. 407\u2013419. ACM, New York (2008)"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1057977.1057978","volume":"37","author":"R. Bose","year":"2005","unstructured":"Bose, R., Frew, J.: Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv.\u00a037(1), 1\u201328 (2005)","journal-title":"ACM Comput. Surv."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Buneman, P., Cheney, J., Tan, W.-C., Vansummeren, S.: Curated databases. In: PODS, pp. 1\u201312 (2008)","DOI":"10.1145\/1376916.1376918"},{"issue":"4","key":"22_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1412331.1412340","volume":"33","author":"P. Buneman","year":"2008","unstructured":"Buneman, P., Cheney, J., Vansummeren, S.: On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems\u00a033(4), 28 (2008)","journal-title":"ACM Transactions on Database Systems"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44503-X_20","volume-title":"Database Theory - ICDT 2001","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Khanna, S., Tan, W.-C.: Why and Where: A Characterization of Data Provenance. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 316\u2013330. Springer, Heidelberg (2000)"},{"key":"22_CR7","unstructured":"Carey, S., Rogow, G.: UAL shares fall as old story surfaces online. Wall Street Journal (September 2008), \n                  \n                    http:\/\/online.wsj.com\/article\/SB122088673--738010213.html"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Cheney, J.: A formal framework for provenance security. In: CSF, pp. 281\u2013293. IEEE (2011)","DOI":"10.1109\/CSF.2011.26"},{"issue":"6","key":"22_CR9","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1017\/S0960129511000211","volume":"21","author":"J. Cheney","year":"2011","unstructured":"Cheney, J., Ahmed, A., Acar, U.A.: Provenance as dependency analysis. Mathematical Structures in Computer Science\u00a021(6), 1301\u20131337 (2011)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"22_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J. Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.C.: Provenance in databases: Why, how, and where. Foundations and Trends in Databases\u00a01(4), 379\u2013474 (2009)","journal-title":"Foundations and Trends in Databases"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Cheney, J., Chong, S., Foster, N., Seltzer, M., Vansummeren, S.: Provenance: A future history. In: OOPSLA Companion (Onward! 2009), pp. 957\u2013964 (2009)","DOI":"10.1145\/1639950.1640064"},{"key":"22_CR12","unstructured":"Chong, S.: Towards semantics for provenance security. In: Workshop on the Theory and Practice of Provenance (2009), Informal online proceedings: \n                  \n                    http:\/\/www.usenix.org\/events\/tapp09\/"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-78739-6_17","volume-title":"Programming Languages and Systems","author":"A. Cirillo","year":"2008","unstructured":"Cirillo, A., Jagadeesan, R., Pitcher, C., Riely, J.: Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 208\u2013223. Springer, Heidelberg (2008)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Davidson, S.B., Freire, J.: Provenance and scientific workflows: challenges and opportunities. In: SIGMOD, New York, NY, USA, pp. 1345\u20131350 (2008)","DOI":"10.1145\/1376616.1376772"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Davidson, S.B., Khanna, S., Milo, T., Panigrahi, D., Roy, S.: Provenance views for module privacy. In: PODS, pp. 175\u2013186 (2011)","DOI":"10.1145\/1989284.1989305"},{"key":"22_CR16","first-page":"215","volume-title":"POPL","author":"C. Dimoulas","year":"2011","unstructured":"Dimoulas, C., Findler, R.B., Flanagan, C., Felleisen, M.: Correct blame for contracts: no more scapegoating. In: POPL, pp. 215\u2013226. ACM, New York (2011)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Green, T.J., Tannen, V.: Annotated XML: queries and provenance. In: PODS, pp. 271\u2013280 (2008)","DOI":"10.1145\/1376916.1376954"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-04444-1_11","volume-title":"Computer Security \u2013 ESORICS 2009","author":"N. Guts","year":"2009","unstructured":"Guts, N., Fournet, C., Zappa Nardelli, F.: Reliable Evidence: Auditability by Typing. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 168\u2013183. Springer, Heidelberg (2009)"},{"key":"22_CR20","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-73255-6_11","volume-title":"Data Integration in the Life Sciences","author":"J. Hidders","year":"2007","unstructured":"Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.: A Formal Model of Dataflow Repositories. In: Cohen-Boulakia, S., Tannen, V. (eds.) DILS 2007. LNCS (LNBI), vol.\u00a04544, pp. 105\u2013121. Springer, Heidelberg (2007)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Jia, L., Vaughan, J.A., Mazurak, K., Zhao, J., Zarko, L., Schorr, J., Zdancewic, S.: Aura: a programming language for authorization and audit. In: ICFP, New York, NY, USA, pp. 27\u201338 (2008)","DOI":"10.1145\/1411203.1411212"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Moreau, L.: The foundations for provenance on the web. Foundations and Trends in Web Science\u00a02(2-3) (2010)","DOI":"10.1561\/1800000010"},{"issue":"6","key":"22_CR23","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1016\/j.future.2010.07.005","volume":"27","author":"L. Moreau","year":"2010","unstructured":"Moreau, L., et al.: The open provenance model core specification (v1.1). Future Generation Computer Systems\u00a027(6), 743\u2013756 (2010)","journal-title":"Future Generation Computer Systems"},{"issue":"3","key":"22_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1084805.1084812","volume":"34","author":"Y. Simmhan","year":"2005","unstructured":"Simmhan, Y., Plale, B., Gannon, D.: A survey of data provenance in e-science. SIGMOD Record\u00a034(3), 31\u201336 (2005)","journal-title":"SIGMOD Record"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P.-Y., Bhargavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: ICFP, pp. 266\u2013278 (2011)","DOI":"10.1145\/2034574.2034811"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Swamy, N., Corcoran, B.J., Hicks, M.: Fable: A language for enforcing user-defined security policies. In: IEEE Symposium on Security and Privacy, pp. 369\u2013383 (2008)","DOI":"10.1109\/SP.2008.29"},{"key":"22_CR27","unstructured":"Varghese, S.: UK government gets bitten by Microsoft Word. Sydney Morning Herald (July 2003), \n                  \n                    http:\/\/www.smh.com.au\/articles\/2003\/07\/02\/1056825430340.html"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28641-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:03:49Z","timestamp":1620126229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28641-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642286407","9783642286414"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28641-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}