{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:GGFDG5RX5Y23XG54JUSLH37KTP","short_pith_number":"pith:GGFDG5RX","canonical_record":{"source":{"id":"2005.04268","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-05-08T19:26:51Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"27580f1d79e9ba58dd32d70d3806151bdfd50ad5d7db312bc95f0a07a927c109","abstract_canon_sha256":"106dccb082d0f49f8300b1258d22ab5c47832246d6cf77fb5db1f8483c5419c8"},"schema_version":"1.0"},"canonical_sha256":"318a337637ee35bb9bbc4d24b3efea9bc3d7a0614b26350922043868038f1b44","source":{"kind":"arxiv","id":"2005.04268","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:GGFDG5RX5Y23XG54JUSLH37KTP","target":"record","payload":{"canonical_record":{"source":{"id":"2005.04268","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-05-08T19:26:51Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"27580f1d79e9ba58dd32d70d3806151bdfd50ad5d7db312bc95f0a07a927c109","abstract_canon_sha256":"106dccb082d0f49f8300b1258d22ab5c47832246d6cf77fb5db1f8483c5419c8"},"schema_version":"1.0"},"canonical_sha256":"318a337637ee35bb9bbc4d24b3efea9bc3d7a0614b26350922043868038f1b44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:01:42.314237Z","signature_b64":"oAOzVeXetacmjxmSzldsUj8QmoO32wqKvQFWwOXVGgTkEB0bKrRR7w4MNDwBywQrdZAceJqT2jOj12esUbXXCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"318a337637ee35bb9bbc4d24b3efea9bc3d7a0614b26350922043868038f1b44","last_reissued_at":"2026-07-05T01:01:42.313734Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:01:42.313734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.04268","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-07-05T01:01:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yHIc7pDjW6jfF89O38NHMejN8HrjDSIHKEKyIndK0GFxSPr+oE8lvCzj6hWFCsOio38oXCkTVxpR4b/uxladBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T08:37:19.882903Z"},"content_sha256":"c7d80bbc2172b8cebb073a2d42dcde575d165266fbbc1d2ae5bdad115942ebbc","schema_version":"1.0","event_id":"sha256:c7d80bbc2172b8cebb073a2d42dcde575d165266fbbc1d2ae5bdad115942ebbc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:GGFDG5RX5Y23XG54JUSLH37KTP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extended Insertion Functions for Opacity Enforcement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Christoforos N. Hadjicostis, Xiaoyan Li, Zhiwu Li","submitted_at":"2020-05-08T19:26:51Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.04268","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.04268/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:01:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/79IuFWukmCMY86n5Laqhsld0ENTXo1NSMm1zS2TYzYdi6rpgXYtfmJwPzVIudfb8dH6Zttnxd9Wtq/DLogkCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T08:37:19.883411Z"},"content_sha256":"59115524fd0b79c9ae31192009bd732f3e160577028c0a5be4fac63ec6a91f65","schema_version":"1.0","event_id":"sha256:59115524fd0b79c9ae31192009bd732f3e160577028c0a5be4fac63ec6a91f65"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GGFDG5RX5Y23XG54JUSLH37KTP/bundle.json","state_url":"https://pith.science/pith/GGFDG5RX5Y23XG54JUSLH37KTP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GGFDG5RX5Y23XG54JUSLH37KTP/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-08-09T08:37:19Z","links":{"resolver":"https://pith.science/pith/GGFDG5RX5Y23XG54JUSLH37KTP","bundle":"https://pith.science/pith/GGFDG5RX5Y23XG54JUSLH37KTP/bundle.json","state":"https://pith.science/pith/GGFDG5RX5Y23XG54JUSLH37KTP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GGFDG5RX5Y23XG54JUSLH37KTP/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N0UgwfqkZJ+foPC02Xu1sUQTjxHVhfwpFkzRT0LJV5zx+VPkTegYYpzIvniJC/pHoS4AUZsgrUbTh324Te94DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T08:37:19.887051Z","bundle_sha256":"b751fb268bb0bd1d20ad4dd41574cf6df973000c9a0b0707d99db759dc3c5388"}}