{"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"}