{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:66DTMZZLLFKU374T3XMSSVDHXZ","short_pith_number":"pith:66DTMZZL","canonical_record":{"source":{"id":"1108.4172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-08-21T08:54:55Z","cross_cats_sorted":[],"title_canon_sha256":"2af142c07d263056e0a04b294f5119646cd01425ee2d71e821396c504a9e2d34","abstract_canon_sha256":"4c405036d78fc82a1d03b9dac021e516c61db5a2094ef58722538559ebbbbbd7"},"schema_version":"1.0"},"canonical_sha256":"f78736672b59554dff93ddd9295467be629865613a63aff3e6badcb1d3d57c14","source":{"kind":"arxiv","id":"1108.4172","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.4172","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"arxiv_version","alias_value":"1108.4172v1","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4172","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"pith_short_12","alias_value":"66DTMZZLLFKU","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"66DTMZZLLFKU374T","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"66DTMZZL","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:66DTMZZLLFKU374T3XMSSVDHXZ","target":"record","payload":{"canonical_record":{"source":{"id":"1108.4172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-08-21T08:54:55Z","cross_cats_sorted":[],"title_canon_sha256":"2af142c07d263056e0a04b294f5119646cd01425ee2d71e821396c504a9e2d34","abstract_canon_sha256":"4c405036d78fc82a1d03b9dac021e516c61db5a2094ef58722538559ebbbbbd7"},"schema_version":"1.0"},"canonical_sha256":"f78736672b59554dff93ddd9295467be629865613a63aff3e6badcb1d3d57c14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:57.260169Z","signature_b64":"Yi4UgupICHuQZKTsd2IucWjpMnBe9g21Scmh3glwKJNnE5TqPx254eekL5GlKEFyffolfuA4o9jCV14G7x7aCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f78736672b59554dff93ddd9295467be629865613a63aff3e6badcb1d3d57c14","last_reissued_at":"2026-05-18T00:57:57.259772Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:57.259772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.4172","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-18T00:57:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JJwpUkCxE3ZJxChEO7O0BHI3MndUnq1dwPhrSb4n/vMjAMFGvBhQ36IBz3nqmyOKp8Dg9MuZ7vlYIRUWnQBSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:12:44.337667Z"},"content_sha256":"635562af76c2ad808246614fa2dabacca32ed427f455e5270ef122d6b61e7b94","schema_version":"1.0","event_id":"sha256:635562af76c2ad808246614fa2dabacca32ed427f455e5270ef122d6b61e7b94"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:66DTMZZLLFKU374T3XMSSVDHXZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A New Enforcement on Declassification with Reachability Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Cong Sun, Liyong Tang, Zhong Chen","submitted_at":"2011-08-21T08:54:55Z","abstract_excerpt":"Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access confidential data. Recent concerns about declassification polices have provided many choices for practical intended information release, but more precise enforcement mechanism for these policies is insufficiently studied. In this paper, we propose a security property on the where-dimension of declassification and present an enforcement based on automated verification. The approach automatically transforms the abstract m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4172","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-18T00:57:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LOJAh85nCqb0YdAB8gK8TpKDs8AKI5Droep588bwHGPtnxjLWdz30Y/Do6ikUs1vPQ5lD7BiSE3Sa7pSCuLQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:12:44.338392Z"},"content_sha256":"3c63e19f21e740825f1f00406a8cacf65bcbd2b4c543b965401e37d3324113ba","schema_version":"1.0","event_id":"sha256:3c63e19f21e740825f1f00406a8cacf65bcbd2b4c543b965401e37d3324113ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/66DTMZZLLFKU374T3XMSSVDHXZ/bundle.json","state_url":"https://pith.science/pith/66DTMZZLLFKU374T3XMSSVDHXZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/66DTMZZLLFKU374T3XMSSVDHXZ/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-07T16:12:44Z","links":{"resolver":"https://pith.science/pith/66DTMZZLLFKU374T3XMSSVDHXZ","bundle":"https://pith.science/pith/66DTMZZLLFKU374T3XMSSVDHXZ/bundle.json","state":"https://pith.science/pith/66DTMZZLLFKU374T3XMSSVDHXZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/66DTMZZLLFKU374T3XMSSVDHXZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:66DTMZZLLFKU374T3XMSSVDHXZ","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":"4c405036d78fc82a1d03b9dac021e516c61db5a2094ef58722538559ebbbbbd7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-08-21T08:54:55Z","title_canon_sha256":"2af142c07d263056e0a04b294f5119646cd01425ee2d71e821396c504a9e2d34"},"schema_version":"1.0","source":{"id":"1108.4172","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.4172","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"arxiv_version","alias_value":"1108.4172v1","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4172","created_at":"2026-05-18T00:57:57Z"},{"alias_kind":"pith_short_12","alias_value":"66DTMZZLLFKU","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"66DTMZZLLFKU374T","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"66DTMZZL","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:3c63e19f21e740825f1f00406a8cacf65bcbd2b4c543b965401e37d3324113ba","target":"graph","created_at":"2026-05-18T00:57:57Z","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":"Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access confidential data. Recent concerns about declassification polices have provided many choices for practical intended information release, but more precise enforcement mechanism for these policies is insufficiently studied. In this paper, we propose a security property on the where-dimension of declassification and present an enforcement based on automated verification. The approach automatically transforms the abstract m","authors_text":"Cong Sun, Liyong Tang, Zhong Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-08-21T08:54:55Z","title":"A New Enforcement on Declassification with Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4172","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:635562af76c2ad808246614fa2dabacca32ed427f455e5270ef122d6b61e7b94","target":"record","created_at":"2026-05-18T00:57:57Z","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":"4c405036d78fc82a1d03b9dac021e516c61db5a2094ef58722538559ebbbbbd7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-08-21T08:54:55Z","title_canon_sha256":"2af142c07d263056e0a04b294f5119646cd01425ee2d71e821396c504a9e2d34"},"schema_version":"1.0","source":{"id":"1108.4172","kind":"arxiv","version":1}},"canonical_sha256":"f78736672b59554dff93ddd9295467be629865613a63aff3e6badcb1d3d57c14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f78736672b59554dff93ddd9295467be629865613a63aff3e6badcb1d3d57c14","first_computed_at":"2026-05-18T00:57:57.259772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:57.259772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yi4UgupICHuQZKTsd2IucWjpMnBe9g21Scmh3glwKJNnE5TqPx254eekL5GlKEFyffolfuA4o9jCV14G7x7aCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:57.260169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.4172","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:635562af76c2ad808246614fa2dabacca32ed427f455e5270ef122d6b61e7b94","sha256:3c63e19f21e740825f1f00406a8cacf65bcbd2b4c543b965401e37d3324113ba"],"state_sha256":"fae0bf5f875114a4dc813fd9328db4f383530cb7563246cb03ae121f13453a60"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b62eiZMRCce+BFGt4MOOhBwTYNmUYqRnOIPl2vWAK0n0VQMWsXW1cNevcqQ+X1QCOzqLK9lUYxvOwFx0xp+DAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T16:12:44.342356Z","bundle_sha256":"1fb419789f37f0fda41e54d88fa003006439e6f6c0b0b465a9b82eac8c248fb2"}}