{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:GDMVPSUTNDJU45LF6LX6TOEMI5","short_pith_number":"pith:GDMVPSUT","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"},"canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","source":{"kind":"arxiv","id":"1102.2521","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.2521","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"arxiv_version","alias_value":"1102.2521v3","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.2521","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"pith_short_12","alias_value":"GDMVPSUTNDJU","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"GDMVPSUTNDJU45LF","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"GDMVPSUT","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:GDMVPSUTNDJU45LF6LX6TOEMI5","target":"record","payload":{"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"},"canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","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"},"source_kind":"arxiv","source_id":"1102.2521","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:22:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8qADheaMnSdYdvavCLVd9VPMcyQLi/Vo0ROUuRjkh4n52ieBdZJEQiY7+2BlWaHE8GrYJ4O49X9Kmn/haiebDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:57:54.345360Z"},"content_sha256":"df9059f13f483c78f6dc4800bbd0822b795497cb66a103fe7ab3de9c70dfe360","schema_version":"1.0","event_id":"sha256:df9059f13f483c78f6dc4800bbd0822b795497cb66a103fe7ab3de9c70dfe360"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:GDMVPSUTNDJU45LF6LX6TOEMI5","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:22:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A7TBKpl3tOM6X104+yAlYjow6g74HlJXePnxu6ulx6ndm3D0jYoScWpInIJl1khskuV5DbB8o59E2+afJBEuBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:57:54.345719Z"},"content_sha256":"b6b35219be098b83114b304b2c1109f64029d4e107b389e6afc88a01b3ddd3eb","schema_version":"1.0","event_id":"sha256:b6b35219be098b83114b304b2c1109f64029d4e107b389e6afc88a01b3ddd3eb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/bundle.json","state_url":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T20:57:54Z","links":{"resolver":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5","bundle":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/bundle.json","state":"https://pith.science/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GDMVPSUTNDJU45LF6LX6TOEMI5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:GDMVPSUTNDJU45LF6LX6TOEMI5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e1af4bde615efdb23154da6adab06af2649f031b4c0b08c8f145e183f1f66ce0","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-02-12T15:24:24Z","title_canon_sha256":"05c494cf60e2383417f741750daffac5ed5a804930fe3119fcc7c9da36c68448"},"schema_version":"1.0","source":{"id":"1102.2521","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.2521","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"arxiv_version","alias_value":"1102.2521v3","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.2521","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"pith_short_12","alias_value":"GDMVPSUTNDJU","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"GDMVPSUTNDJU45LF","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"GDMVPSUT","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:b6b35219be098b83114b304b2c1109f64029d4e107b389e6afc88a01b3ddd3eb","target":"graph","created_at":"2026-05-18T02:22:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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 ","authors_text":"Anupam Datta, Deepak Garg, Limin Jia","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-02-12T15:24:24Z","title":"A Logical Method for Policy Enforcement over Evolving Audit Logs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.2521","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:df9059f13f483c78f6dc4800bbd0822b795497cb66a103fe7ab3de9c70dfe360","target":"record","created_at":"2026-05-18T02:22:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e1af4bde615efdb23154da6adab06af2649f031b4c0b08c8f145e183f1f66ce0","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-02-12T15:24:24Z","title_canon_sha256":"05c494cf60e2383417f741750daffac5ed5a804930fe3119fcc7c9da36c68448"},"schema_version":"1.0","source":{"id":"1102.2521","kind":"arxiv","version":3}},"canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30d957ca9368d34e7565f2efe9b88c4741dd2d5a9a78a06137c50eafc59fca15","first_computed_at":"2026-05-18T02:22:31.839873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:31.839873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b7S+AAiuA3MhSvjS0hgBHbpoDB+/vTwk74P1/N9u4bAuAuhjH3wSn3uWw9yNzgegKL1rW3xgQQ27+w4GZ+6FDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:31.840460Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.2521","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df9059f13f483c78f6dc4800bbd0822b795497cb66a103fe7ab3de9c70dfe360","sha256:b6b35219be098b83114b304b2c1109f64029d4e107b389e6afc88a01b3ddd3eb"],"state_sha256":"0d1c063247155aba8aa9d02fe0f1981ccbab60f72fa15c86a05f7cac38016b7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hJgZb1DuWSHOzG6OYSOAKR7QXhgsMbtT+5sfdtbpqEnspwxXeDzeO8B6gRYnc3N4nL80p+qaluwyQnLIWk0dBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T20:57:54.347687Z","bundle_sha256":"9e34c3335c0212937c20023f05f71153a3ec81f4115bde8aa748cfc6fa793f2c"}}