{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:CBQDVQG5UN3PT4QQIUXVRTPIA7","short_pith_number":"pith:CBQDVQG5","canonical_record":{"source":{"id":"1802.05728","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-15T19:30:12Z","cross_cats_sorted":[],"title_canon_sha256":"f2bf912a7fe12ee4d92e134e0a27c018789d63ae06674513325401988c10362e","abstract_canon_sha256":"90ed9fb4ec0738f3da70d0b50f9fcd952c4be155f162407c9544ca9db3851518"},"schema_version":"1.0"},"canonical_sha256":"10603ac0dda376f9f210452f58cde807c55ee64472e4b1dba21b7d6f7144bc08","source":{"kind":"arxiv","id":"1802.05728","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.05728","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"arxiv_version","alias_value":"1802.05728v1","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.05728","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"pith_short_12","alias_value":"CBQDVQG5UN3P","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CBQDVQG5UN3PT4QQ","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CBQDVQG5","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:CBQDVQG5UN3PT4QQIUXVRTPIA7","target":"record","payload":{"canonical_record":{"source":{"id":"1802.05728","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-15T19:30:12Z","cross_cats_sorted":[],"title_canon_sha256":"f2bf912a7fe12ee4d92e134e0a27c018789d63ae06674513325401988c10362e","abstract_canon_sha256":"90ed9fb4ec0738f3da70d0b50f9fcd952c4be155f162407c9544ca9db3851518"},"schema_version":"1.0"},"canonical_sha256":"10603ac0dda376f9f210452f58cde807c55ee64472e4b1dba21b7d6f7144bc08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:11.231780Z","signature_b64":"cAO/znr40miHb/GtiwD9fahV2M17s8Q/5EWcbRQUVRiCI3GMfCW32XlIt2LStwErsCIPa+RCll6BlO9Ge8PvAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10603ac0dda376f9f210452f58cde807c55ee64472e4b1dba21b7d6f7144bc08","last_reissued_at":"2026-05-18T00:23:11.231079Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:11.231079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.05728","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:23:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wmFMSOFjYNlPY7A1N5/8BoFbmDCtY1rvbAB/34ELo+kNffVYRQy2fCNfYb9m++vArP5PxAXG3T5Bw0GwVpsgBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T18:52:53.479017Z"},"content_sha256":"04cf4d271b0465860a7af644d2002ad52ee7b7b794c002440af50a40a4a3c66f","schema_version":"1.0","event_id":"sha256:04cf4d271b0465860a7af644d2002ad52ee7b7b794c002440af50a40a4a3c66f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:CBQDVQG5UN3PT4QQIUXVRTPIA7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Bo Wu, Hai Lin, Jin Dai","submitted_at":"2018-02-15T19:30:12Z","abstract_excerpt":"Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enforcement of opacity within the discrete-event system formalism in the presence of multiple intruders. We study two cases, one without coordination among the intruders and the other with coordination. We propose appropriate notions of opacity corresponding to the two cases, respectively, and propose enforcement mechanisms for these opacity properties based on the implementation of insertion functions, which manipulates "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.05728","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:23:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6eVOLhPk91haijjPUpDZHLEFrO20Fqhw01EzL/wAu5NbETwrezUKUKkmUQbI0mcYPyMC1SaczoxbMvgG3cQ7Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T18:52:53.479592Z"},"content_sha256":"0cf7aec1c1e086ec74379a40a2be730ebc156c5880dad278914f1c3ad21bbc72","schema_version":"1.0","event_id":"sha256:0cf7aec1c1e086ec74379a40a2be730ebc156c5880dad278914f1c3ad21bbc72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/bundle.json","state_url":"https://pith.science/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/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-18T18:52:53Z","links":{"resolver":"https://pith.science/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7","bundle":"https://pith.science/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/bundle.json","state":"https://pith.science/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CBQDVQG5UN3PT4QQIUXVRTPIA7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CBQDVQG5UN3PT4QQIUXVRTPIA7","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":"90ed9fb4ec0738f3da70d0b50f9fcd952c4be155f162407c9544ca9db3851518","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-15T19:30:12Z","title_canon_sha256":"f2bf912a7fe12ee4d92e134e0a27c018789d63ae06674513325401988c10362e"},"schema_version":"1.0","source":{"id":"1802.05728","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.05728","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"arxiv_version","alias_value":"1802.05728v1","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.05728","created_at":"2026-05-18T00:23:11Z"},{"alias_kind":"pith_short_12","alias_value":"CBQDVQG5UN3P","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CBQDVQG5UN3PT4QQ","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CBQDVQG5","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:0cf7aec1c1e086ec74379a40a2be730ebc156c5880dad278914f1c3ad21bbc72","target":"graph","created_at":"2026-05-18T00:23:11Z","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":"Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enforcement of opacity within the discrete-event system formalism in the presence of multiple intruders. We study two cases, one without coordination among the intruders and the other with coordination. We propose appropriate notions of opacity corresponding to the two cases, respectively, and propose enforcement mechanisms for these opacity properties based on the implementation of insertion functions, which manipulates ","authors_text":"Bo Wu, Hai Lin, Jin Dai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-15T19:30:12Z","title":"Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.05728","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:04cf4d271b0465860a7af644d2002ad52ee7b7b794c002440af50a40a4a3c66f","target":"record","created_at":"2026-05-18T00:23:11Z","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":"90ed9fb4ec0738f3da70d0b50f9fcd952c4be155f162407c9544ca9db3851518","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-15T19:30:12Z","title_canon_sha256":"f2bf912a7fe12ee4d92e134e0a27c018789d63ae06674513325401988c10362e"},"schema_version":"1.0","source":{"id":"1802.05728","kind":"arxiv","version":1}},"canonical_sha256":"10603ac0dda376f9f210452f58cde807c55ee64472e4b1dba21b7d6f7144bc08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10603ac0dda376f9f210452f58cde807c55ee64472e4b1dba21b7d6f7144bc08","first_computed_at":"2026-05-18T00:23:11.231079Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:11.231079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cAO/znr40miHb/GtiwD9fahV2M17s8Q/5EWcbRQUVRiCI3GMfCW32XlIt2LStwErsCIPa+RCll6BlO9Ge8PvAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:11.231780Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.05728","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04cf4d271b0465860a7af644d2002ad52ee7b7b794c002440af50a40a4a3c66f","sha256:0cf7aec1c1e086ec74379a40a2be730ebc156c5880dad278914f1c3ad21bbc72"],"state_sha256":"d6650e898817ef5b8c3db6b33d67c5996dd3eb3e1a9103d0c4115722eaafb186"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MCJqByi6H0pC4jw/u/akn0S92KPr8uEHho/jHnyX8WmQhobP0NL3x4aCHHhcuAz9uk6EHI6iQiLLll/BPJdEAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T18:52:53.481367Z","bundle_sha256":"862e8920a879384382419599d67e083fa1f59f6455c2929bf8661d48fad70b69"}}