{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:GGFDG5RX5Y23XG54JUSLH37KTP","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":"106dccb082d0f49f8300b1258d22ab5c47832246d6cf77fb5db1f8483c5419c8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-05-08T19:26:51Z","title_canon_sha256":"27580f1d79e9ba58dd32d70d3806151bdfd50ad5d7db312bc95f0a07a927c109"},"schema_version":"1.0","source":{"id":"2005.04268","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.04268","created_at":"2026-07-05T01:01:42Z"},{"alias_kind":"arxiv_version","alias_value":"2005.04268v1","created_at":"2026-07-05T01:01:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.04268","created_at":"2026-07-05T01:01:42Z"},{"alias_kind":"pith_short_12","alias_value":"GGFDG5RX5Y23","created_at":"2026-07-05T01:01:42Z"},{"alias_kind":"pith_short_16","alias_value":"GGFDG5RX5Y23XG54","created_at":"2026-07-05T01:01:42Z"},{"alias_kind":"pith_short_8","alias_value":"GGFDG5RX","created_at":"2026-07-05T01:01:42Z"}],"graph_snapshots":[{"event_id":"sha256:59115524fd0b79c9ae31192009bd732f3e160577028c0a5be4fac63ec6a91f65","target":"graph","created_at":"2026-07-05T01:01:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.04268/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Opacity is a confidentiality property that holds when certain secret strings of a given system cannot be revealed to an outside observer under any system activity. Opacity violations stimulate the study of opacity enforcement strategies. Among other methodologies, opacity has been enforced using insertion mechanisms, i.e., output obfuscation mechanisms that are allowed to insert fictitious output symbols before actual system outputs, in order to preserve opacity. This paper studies and analyzes more powerful extended insertion mechanisms, which can insert symbols before and after an actual sys","authors_text":"Christoforos N. Hadjicostis, Xiaoyan Li, Zhiwu Li","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-05-08T19:26:51Z","title":"Extended Insertion Functions for Opacity Enforcement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.04268","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:c7d80bbc2172b8cebb073a2d42dcde575d165266fbbc1d2ae5bdad115942ebbc","target":"record","created_at":"2026-07-05T01:01:42Z","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":"106dccb082d0f49f8300b1258d22ab5c47832246d6cf77fb5db1f8483c5419c8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-05-08T19:26:51Z","title_canon_sha256":"27580f1d79e9ba58dd32d70d3806151bdfd50ad5d7db312bc95f0a07a927c109"},"schema_version":"1.0","source":{"id":"2005.04268","kind":"arxiv","version":1}},"canonical_sha256":"318a337637ee35bb9bbc4d24b3efea9bc3d7a0614b26350922043868038f1b44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"318a337637ee35bb9bbc4d24b3efea9bc3d7a0614b26350922043868038f1b44","first_computed_at":"2026-07-05T01:01:42.313734Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:01:42.313734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oAOzVeXetacmjxmSzldsUj8QmoO32wqKvQFWwOXVGgTkEB0bKrRR7w4MNDwBywQrdZAceJqT2jOj12esUbXXCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:01:42.314237Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.04268","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7d80bbc2172b8cebb073a2d42dcde575d165266fbbc1d2ae5bdad115942ebbc","sha256:59115524fd0b79c9ae31192009bd732f3e160577028c0a5be4fac63ec6a91f65"],"state_sha256":"9634bd2ca3da39f48bd05359e47aacd782409d510b93314b6b22db82812fed93"}