{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:HXQIWEARLM5VPRHG5RLALDQWEU","short_pith_number":"pith:HXQIWEAR","schema_version":"1.0","canonical_sha256":"3de08b10115b3b57c4e6ec56058e16253fbe92f624cdc9a25d53ea015843a0bd","source":{"kind":"arxiv","id":"1310.6299","version":2},"attestation_state":"computed","paper":{"title":"A Core Calculus for Provenance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Amal Ahmed, James Cheney, Roly Perera, Umut A. Acar","submitted_at":"2013-10-23T17:14:33Z","abstract_excerpt":"Provenance is an increasing concern due to the ongoing revolution in sharing and processing scientific 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 scientific 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 definitions of properties called disclosure and o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1310.6299","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-23T17:14:33Z","cross_cats_sorted":[],"title_canon_sha256":"d457c6e08a5431d25c0db962c0ea07295f84d56bc95a43bca55e7b18664b4bec","abstract_canon_sha256":"5dfb8b18faa0494beaedd8f0d80c3117bf0e9157a5965216845cd75251194a21"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:22.022117Z","signature_b64":"GF/kvKGrNF5NYTPVbmTlOWnyp9yCmKi6W4BOglD1U9CieINHy33ogytWyoBYMa5vzk/BOq55a8uJnef7OLZKBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3de08b10115b3b57c4e6ec56058e16253fbe92f624cdc9a25d53ea015843a0bd","last_reissued_at":"2026-05-18T03:03:22.021437Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:22.021437Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Core Calculus for Provenance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Amal Ahmed, James Cheney, Roly Perera, Umut A. Acar","submitted_at":"2013-10-23T17:14:33Z","abstract_excerpt":"Provenance is an increasing concern due to the ongoing revolution in sharing and processing scientific 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 scientific 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 definitions of properties called disclosure and o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6299","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.6299","created_at":"2026-05-18T03:03:22.021529+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.6299v2","created_at":"2026-05-18T03:03:22.021529+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6299","created_at":"2026-05-18T03:03:22.021529+00:00"},{"alias_kind":"pith_short_12","alias_value":"HXQIWEARLM5V","created_at":"2026-05-18T12:27:46.883200+00:00"},{"alias_kind":"pith_short_16","alias_value":"HXQIWEARLM5VPRHG","created_at":"2026-05-18T12:27:46.883200+00:00"},{"alias_kind":"pith_short_8","alias_value":"HXQIWEAR","created_at":"2026-05-18T12:27:46.883200+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU","json":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU.json","graph_json":"https://pith.science/api/pith-number/HXQIWEARLM5VPRHG5RLALDQWEU/graph.json","events_json":"https://pith.science/api/pith-number/HXQIWEARLM5VPRHG5RLALDQWEU/events.json","paper":"https://pith.science/paper/HXQIWEAR"},"agent_actions":{"view_html":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU","download_json":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU.json","view_paper":"https://pith.science/paper/HXQIWEAR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.6299&json=true","fetch_graph":"https://pith.science/api/pith-number/HXQIWEARLM5VPRHG5RLALDQWEU/graph.json","fetch_events":"https://pith.science/api/pith-number/HXQIWEARLM5VPRHG5RLALDQWEU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU/action/storage_attestation","attest_author":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU/action/author_attestation","sign_citation":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU/action/citation_signature","submit_replication":"https://pith.science/pith/HXQIWEARLM5VPRHG5RLALDQWEU/action/replication_record"}},"created_at":"2026-05-18T03:03:22.021529+00:00","updated_at":"2026-05-18T03:03:22.021529+00:00"}