{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:GDMVPSUTNDJU45LF6LX6TOEMI5","short_pith_number":"pith:GDMVPSUT","schema_version":"1.0","canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","source":{"kind":"arxiv","id":"1102.2521","version":3},"attestation_state":"computed","paper":{"title":"A Logical Method for Policy Enforcement over Evolving Audit Logs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.LO","authors_text":"Anupam Datta, Deepak Garg, Limin Jia","submitted_at":"2011-02-12T15:24:24Z","abstract_excerpt":"We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule. The logic has three features that raise challenges for enforcement --- uninterpreted predicates (used to model subjective concepts in privacy policies), real-time temporal properties, and quantification over infinite domains (such as the set of messages containing personal information). The algorithm operates over audit logs that are inherently incomplete and evolve over time. In each iteration, the algorithm "},"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":"1102.2521","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-02-12T15:24:24Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"05c494cf60e2383417f741750daffac5ed5a804930fe3119fcc7c9da36c68448","abstract_canon_sha256":"e1af4bde615efdb23154da6adab06af2649f031b4c0b08c8f145e183f1f66ce0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:31.840460Z","signature_b64":"b7S+AAiuA3MhSvjS0hgBHbpoDB+/vTwk74P1/N9u4bAuAuhjH3wSn3uWw9yNzgegKL1rW3xgQQ27+w4GZ+6FDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","last_reissued_at":"2026-05-18T02:22:31.839873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:31.839873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Logical Method for Policy Enforcement over Evolving Audit Logs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.LO","authors_text":"Anupam Datta, Deepak Garg, Limin Jia","submitted_at":"2011-02-12T15:24:24Z","abstract_excerpt":"We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule. The logic has three features that raise challenges for enforcement --- uninterpreted predicates (used to model subjective concepts in privacy policies), real-time temporal properties, and quantification over infinite domains (such as the set of messages containing personal information). The algorithm operates over audit logs that are inherently incomplete and evolve over time. In each iteration, the algorithm "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.2521","kind":"arxiv","version":3},"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":"1102.2521","created_at":"2026-05-18T02:22:31.839949+00:00"},{"alias_kind":"arxiv_version","alias_value":"1102.2521v3","created_at":"2026-05-18T02:22:31.839949+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.2521","created_at":"2026-05-18T02:22:31.839949+00:00"},{"alias_kind":"pith_short_12","alias_value":"GDMVPSUTNDJU","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_16","alias_value":"GDMVPSUTNDJU45LF","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_8","alias_value":"GDMVPSUT","created_at":"2026-05-18T12:26:28.662955+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/GDMVPSUTNDJU45LF6LX6TOEMI5","json":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5.json","graph_json":"https://pith.science/api/pith-number/GDMVPSUTNDJU45LF6LX6TOEMI5/graph.json","events_json":"https://pith.science/api/pith-number/GDMVPSUTNDJU45LF6LX6TOEMI5/events.json","paper":"https://pith.science/paper/GDMVPSUT"},"agent_actions":{"view_html":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5","download_json":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5.json","view_paper":"https://pith.science/paper/GDMVPSUT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1102.2521&json=true","fetch_graph":"https://pith.science/api/pith-number/GDMVPSUTNDJU45LF6LX6TOEMI5/graph.json","fetch_events":"https://pith.science/api/pith-number/GDMVPSUTNDJU45LF6LX6TOEMI5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/action/storage_attestation","attest_author":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/action/author_attestation","sign_citation":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/action/citation_signature","submit_replication":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/action/replication_record"}},"created_at":"2026-05-18T02:22:31.839949+00:00","updated_at":"2026-05-18T02:22:31.839949+00:00"}