{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EPC5B5YTDYKEO56SHBO2MTQKBS","short_pith_number":"pith:EPC5B5YT","canonical_record":{"source":{"id":"1201.4262","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-20T11:11:37Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"e1c236234871235ad889a8478b242933998bff3736b71fe8fac532d8bcc169c0","abstract_canon_sha256":"702782159c7bc234299dfebd3b5e8f9e2069af34f59e9c534f15be82e577af5b"},"schema_version":"1.0"},"canonical_sha256":"23c5d0f7131e144777d2385da64e0a0c8b44f7696a5e36981501b299dc0c8ea3","source":{"kind":"arxiv","id":"1201.4262","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4262","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4262v1","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4262","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"EPC5B5YTDYKE","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EPC5B5YTDYKEO56S","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EPC5B5YT","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EPC5B5YTDYKEO56SHBO2MTQKBS","target":"record","payload":{"canonical_record":{"source":{"id":"1201.4262","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-20T11:11:37Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"e1c236234871235ad889a8478b242933998bff3736b71fe8fac532d8bcc169c0","abstract_canon_sha256":"702782159c7bc234299dfebd3b5e8f9e2069af34f59e9c534f15be82e577af5b"},"schema_version":"1.0"},"canonical_sha256":"23c5d0f7131e144777d2385da64e0a0c8b44f7696a5e36981501b299dc0c8ea3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:04:07.530828Z","signature_b64":"fP5L4GBNWetsZCYGtARpSaG0YJIP1gFX5kQaK0qQAoTXpPlEVLixAJ9C2fl/uBRJmwv5HdeVgrZ8MLdwQ6HtDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23c5d0f7131e144777d2385da64e0a0c8b44f7696a5e36981501b299dc0c8ea3","last_reissued_at":"2026-05-18T04:04:07.530363Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:04:07.530363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.4262","source_version":1,"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-18T04:04:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nCW4SBbhB38cBsntpixwb7KF1uAczgnMCM+sJ91StnpebWcTV/pBQwJ2o6+U3iLdSEUwWQOe+mrCezev9vMWCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:20:19.262784Z"},"content_sha256":"93f9d0a13fcce929ba6ed3481c90ab81ea31b97914cf5133c35be71db4481405","schema_version":"1.0","event_id":"sha256:93f9d0a13fcce929ba6ed3481c90ab81ea31b97914cf5133c35be71db4481405"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EPC5B5YTDYKEO56SHBO2MTQKBS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Secondary use of data in EHR systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.PL","authors_text":"Chris Hankin, Fan Yang, Flemming Nielson, Hanne Riis Nielson","submitted_at":"2012-01-20T11:11:37Z","abstract_excerpt":"We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce various types of security policies, in particular predictive access control policies - policies based on the future behavior of a program. A novel feature of our approach is that advice is able to analyze the future use of data. We consider a number of different security policies, concerning both primary and secondary use of data, some of which can only be enforced by analysis of process continuations."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4262","kind":"arxiv","version":1},"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-18T04:04:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gi81U1HuQ9k+kdRxfmHlaNWff3XhL2vEpbzAUBuw7V4g80gFy/7m0ESYTDunheLAUPttjrQPG0t8ex8tgSg6DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:20:19.263131Z"},"content_sha256":"c52faff49bb060a3c0676b231162a81227beec4593ea5ee504978cf9dcdee6f1","schema_version":"1.0","event_id":"sha256:c52faff49bb060a3c0676b231162a81227beec4593ea5ee504978cf9dcdee6f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/bundle.json","state_url":"https://pith.science/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/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-05-31T01:20:19Z","links":{"resolver":"https://pith.science/pith/EPC5B5YTDYKEO56SHBO2MTQKBS","bundle":"https://pith.science/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/bundle.json","state":"https://pith.science/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPC5B5YTDYKEO56SHBO2MTQKBS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EPC5B5YTDYKEO56SHBO2MTQKBS","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":"702782159c7bc234299dfebd3b5e8f9e2069af34f59e9c534f15be82e577af5b","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-20T11:11:37Z","title_canon_sha256":"e1c236234871235ad889a8478b242933998bff3736b71fe8fac532d8bcc169c0"},"schema_version":"1.0","source":{"id":"1201.4262","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4262","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4262v1","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4262","created_at":"2026-05-18T04:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"EPC5B5YTDYKE","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EPC5B5YTDYKEO56S","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EPC5B5YT","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:c52faff49bb060a3c0676b231162a81227beec4593ea5ee504978cf9dcdee6f1","target":"graph","created_at":"2026-05-18T04:04:07Z","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 show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce various types of security policies, in particular predictive access control policies - policies based on the future behavior of a program. A novel feature of our approach is that advice is able to analyze the future use of data. We consider a number of different security policies, concerning both primary and secondary use of data, some of which can only be enforced by analysis of process continuations.","authors_text":"Chris Hankin, Fan Yang, Flemming Nielson, Hanne Riis Nielson","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-20T11:11:37Z","title":"Secondary use of data in EHR systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4262","kind":"arxiv","version":1},"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:93f9d0a13fcce929ba6ed3481c90ab81ea31b97914cf5133c35be71db4481405","target":"record","created_at":"2026-05-18T04:04:07Z","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":"702782159c7bc234299dfebd3b5e8f9e2069af34f59e9c534f15be82e577af5b","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-20T11:11:37Z","title_canon_sha256":"e1c236234871235ad889a8478b242933998bff3736b71fe8fac532d8bcc169c0"},"schema_version":"1.0","source":{"id":"1201.4262","kind":"arxiv","version":1}},"canonical_sha256":"23c5d0f7131e144777d2385da64e0a0c8b44f7696a5e36981501b299dc0c8ea3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23c5d0f7131e144777d2385da64e0a0c8b44f7696a5e36981501b299dc0c8ea3","first_computed_at":"2026-05-18T04:04:07.530363Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:04:07.530363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fP5L4GBNWetsZCYGtARpSaG0YJIP1gFX5kQaK0qQAoTXpPlEVLixAJ9C2fl/uBRJmwv5HdeVgrZ8MLdwQ6HtDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:04:07.530828Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.4262","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:93f9d0a13fcce929ba6ed3481c90ab81ea31b97914cf5133c35be71db4481405","sha256:c52faff49bb060a3c0676b231162a81227beec4593ea5ee504978cf9dcdee6f1"],"state_sha256":"a49f031cc4be4392355b7d1b5e59ee45e0b3f559a0006d8f05e809a9bdcf78d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HWGZinE+2bqsvyyzoxI1YggP3a+KJqEOvcwBtb86sglEkzZv4SeCcDxh1GeSxvQZJYd/F4F/cPJ2pCBLGRSkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:20:19.266836Z","bundle_sha256":"05246d16644ff8418ffcb813b0e984a08d45acc702b82d34393676d9e9e25c06"}}