{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:46RYWYXT6HCNAXHUJDF55AY43F","short_pith_number":"pith:46RYWYXT","canonical_record":{"source":{"id":"1802.04836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-13T20:02:19Z","cross_cats_sorted":[],"title_canon_sha256":"3af8809c060a8056775ee2cba0a172ecda61bc607cc53b1f4631181c95dc0140","abstract_canon_sha256":"554bc85e82faf1d53e650c3169a55246dcc57e12da443a2dcd3836bb1d0e8303"},"schema_version":"1.0"},"canonical_sha256":"e7a38b62f3f1c4d05cf448cbde831cd97a232d16ce37bee5f39d09bd689d4d79","source":{"kind":"arxiv","id":"1802.04836","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04836","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04836v1","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04836","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"pith_short_12","alias_value":"46RYWYXT6HCN","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"46RYWYXT6HCNAXHU","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"46RYWYXT","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:46RYWYXT6HCNAXHUJDF55AY43F","target":"record","payload":{"canonical_record":{"source":{"id":"1802.04836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-13T20:02:19Z","cross_cats_sorted":[],"title_canon_sha256":"3af8809c060a8056775ee2cba0a172ecda61bc607cc53b1f4631181c95dc0140","abstract_canon_sha256":"554bc85e82faf1d53e650c3169a55246dcc57e12da443a2dcd3836bb1d0e8303"},"schema_version":"1.0"},"canonical_sha256":"e7a38b62f3f1c4d05cf448cbde831cd97a232d16ce37bee5f39d09bd689d4d79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:22.491063Z","signature_b64":"JhcvBbcAcc8nft4pFxOUE4/CZHoF6TKUaBxuIuUhqPS3y3d8RO2/KGRAbUYUOOhTWxkCwWCfmA3we7xWxuivBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7a38b62f3f1c4d05cf448cbde831cd97a232d16ce37bee5f39d09bd689d4d79","last_reissued_at":"2026-05-18T00:23:22.490366Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:22.490366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.04836","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:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AKgxj7GhP3sqOO3WLkn+3tr9cTB33ih3kHB/cDuyFOKL0HelqN/DH/67ValmK7cWKUiV6VYzf4z9vTYe4JcTDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:51:13.717747Z"},"content_sha256":"efe20938694aaf846aec64fd1a8f65847849d75dfd5f2e5e1a00d326f1294901","schema_version":"1.0","event_id":"sha256:efe20938694aaf846aec64fd1a8f65847849d75dfd5f2e5e1a00d326f1294901"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:46RYWYXT6HCNAXHUJDF55AY43F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic 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, Zhiyu Liu","submitted_at":"2018-02-13T20:02:19Z","abstract_excerpt":"Opacity is a property that characterizes the system's capability to keep its \"secret\" from being inferred by an intruder that partially observes the system's behavior. In this paper, we are concerned with enhancing the opacity using insertion functions, while at the same time, enforcing the task specification in a parametric stochastic discrete event system. We first obtain the parametric Markov decision process that encodes all the possible insertions. Based on which, we convert this parameter and insertion function co-synthesis problem into a nonlinear program. We prove that if the output of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04836","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:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xSKl1jZOsprLdKaWpwGcTiHr+ABvqd5gfZih/ccu8TFySYVqCwPa+N1wRvqQmqhuPxDuqB5O7PMNlBQdqEQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:51:13.718083Z"},"content_sha256":"ef511382346ee76d3582f7721f02850798154ea9f74125e90063b6cde37a3714","schema_version":"1.0","event_id":"sha256:ef511382346ee76d3582f7721f02850798154ea9f74125e90063b6cde37a3714"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/46RYWYXT6HCNAXHUJDF55AY43F/bundle.json","state_url":"https://pith.science/pith/46RYWYXT6HCNAXHUJDF55AY43F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/46RYWYXT6HCNAXHUJDF55AY43F/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-19T11:51:13Z","links":{"resolver":"https://pith.science/pith/46RYWYXT6HCNAXHUJDF55AY43F","bundle":"https://pith.science/pith/46RYWYXT6HCNAXHUJDF55AY43F/bundle.json","state":"https://pith.science/pith/46RYWYXT6HCNAXHUJDF55AY43F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/46RYWYXT6HCNAXHUJDF55AY43F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:46RYWYXT6HCNAXHUJDF55AY43F","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":"554bc85e82faf1d53e650c3169a55246dcc57e12da443a2dcd3836bb1d0e8303","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-13T20:02:19Z","title_canon_sha256":"3af8809c060a8056775ee2cba0a172ecda61bc607cc53b1f4631181c95dc0140"},"schema_version":"1.0","source":{"id":"1802.04836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04836","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04836v1","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04836","created_at":"2026-05-18T00:23:22Z"},{"alias_kind":"pith_short_12","alias_value":"46RYWYXT6HCN","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"46RYWYXT6HCNAXHU","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"46RYWYXT","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:ef511382346ee76d3582f7721f02850798154ea9f74125e90063b6cde37a3714","target":"graph","created_at":"2026-05-18T00:23:22Z","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 property that characterizes the system's capability to keep its \"secret\" from being inferred by an intruder that partially observes the system's behavior. In this paper, we are concerned with enhancing the opacity using insertion functions, while at the same time, enforcing the task specification in a parametric stochastic discrete event system. We first obtain the parametric Markov decision process that encodes all the possible insertions. Based on which, we convert this parameter and insertion function co-synthesis problem into a nonlinear program. We prove that if the output of","authors_text":"Bo Wu, Hai Lin, Zhiyu Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-13T20:02:19Z","title":"Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04836","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:efe20938694aaf846aec64fd1a8f65847849d75dfd5f2e5e1a00d326f1294901","target":"record","created_at":"2026-05-18T00:23:22Z","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":"554bc85e82faf1d53e650c3169a55246dcc57e12da443a2dcd3836bb1d0e8303","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-02-13T20:02:19Z","title_canon_sha256":"3af8809c060a8056775ee2cba0a172ecda61bc607cc53b1f4631181c95dc0140"},"schema_version":"1.0","source":{"id":"1802.04836","kind":"arxiv","version":1}},"canonical_sha256":"e7a38b62f3f1c4d05cf448cbde831cd97a232d16ce37bee5f39d09bd689d4d79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7a38b62f3f1c4d05cf448cbde831cd97a232d16ce37bee5f39d09bd689d4d79","first_computed_at":"2026-05-18T00:23:22.490366Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:22.490366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JhcvBbcAcc8nft4pFxOUE4/CZHoF6TKUaBxuIuUhqPS3y3d8RO2/KGRAbUYUOOhTWxkCwWCfmA3we7xWxuivBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:22.491063Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.04836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efe20938694aaf846aec64fd1a8f65847849d75dfd5f2e5e1a00d326f1294901","sha256:ef511382346ee76d3582f7721f02850798154ea9f74125e90063b6cde37a3714"],"state_sha256":"2523367099e639f2d69d66186cf4bbc11e8183c5ea90ac6b2598b3a261f646be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/AlXMvbNinfILUguDmLPuVaV48vWHf/Wa5bkJ2HUJicYSNz60oCzeLfCARTAbtZ2sfxS+PssQ23x5Ow4KRQxAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T11:51:13.719856Z","bundle_sha256":"9a9ab839f479a751445741b5606e045e65302f96c981968c2242a243b1e85150"}}