{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FENRKQYI4VJMRPAJ3ZVNJPKZX3","short_pith_number":"pith:FENRKQYI","canonical_record":{"source":{"id":"1407.4225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-16T08:03:12Z","cross_cats_sorted":[],"title_canon_sha256":"f2c7458cf3cd979e0bf6d5d17f917eec71265436f5914aba891c94dbeabe1774","abstract_canon_sha256":"8e806eb48e32992c8fd296f4860563df3ad8015e281c5967f7fdc57393607bd5"},"schema_version":"1.0"},"canonical_sha256":"291b154308e552c8bc09de6ad4bd59becbb08e46c2153671da5c67b575303fbe","source":{"kind":"arxiv","id":"1407.4225","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.4225","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.4225v2","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.4225","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"pith_short_12","alias_value":"FENRKQYI4VJM","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FENRKQYI4VJMRPAJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FENRKQYI","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FENRKQYI4VJMRPAJ3ZVNJPKZX3","target":"record","payload":{"canonical_record":{"source":{"id":"1407.4225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-16T08:03:12Z","cross_cats_sorted":[],"title_canon_sha256":"f2c7458cf3cd979e0bf6d5d17f917eec71265436f5914aba891c94dbeabe1774","abstract_canon_sha256":"8e806eb48e32992c8fd296f4860563df3ad8015e281c5967f7fdc57393607bd5"},"schema_version":"1.0"},"canonical_sha256":"291b154308e552c8bc09de6ad4bd59becbb08e46c2153671da5c67b575303fbe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:53.727895Z","signature_b64":"A6hpNWWKZUT/uPvaO7Xjt9v5qm5AXUAtLvdq1dw//A5ViAR45P6xZQa99jsMKjy3rmlr8r/Tnh7u3+VbxpHoBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"291b154308e552c8bc09de6ad4bd59becbb08e46c2153671da5c67b575303fbe","last_reissued_at":"2026-05-18T02:43:53.727461Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:53.727461Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.4225","source_version":2,"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-18T02:43:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fsepJ1P/oqeaSJCpIVLzR/+faYorvAnPUvBMcDqiwP1TiMZK+SJvX4Qq+8gWZai0oKDL4LviHWnU3k6LhnqgBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:55:27.019122Z"},"content_sha256":"3a22d9aefe6104011e9e5a853be58c67ea2de1903cc5ffc2a356a5ad108c7de4","schema_version":"1.0","event_id":"sha256:3a22d9aefe6104011e9e5a853be58c67ea2de1903cc5ffc2a356a5ad108c7de4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FENRKQYI4VJMRPAJ3ZVNJPKZX3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Opacity for Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"B\\'eatrice B\\'erard, Krishnendu Chatterjee, Nathalie Sznajder","submitted_at":"2014-07-16T08:03:12Z","abstract_excerpt":"Opacity is a generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a subset of runs, and a function describing the view of an external observer, the value of interest for opacity is a measure of the set of runs disclosing the secret. We extend this definition to the richer framework of Markov decision processes, where non deterministic choice is combined with probabilistic transitions, and we study related decidability problems with partial or complete observation hypotheses for the sc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.4225","kind":"arxiv","version":2},"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-18T02:43:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iUW6suRd8e5V2YExyoTx81Bq7j0hqQwZQOpiMLlPcy+oArPT+12otgaNdcFr82ngmt/p0zwKLGp8dL1pP+U3AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:55:27.019796Z"},"content_sha256":"8e3c129c691fc46a91cf09960da9d256528ddcb9ac463fafd92e1caff2dc81a1","schema_version":"1.0","event_id":"sha256:8e3c129c691fc46a91cf09960da9d256528ddcb9ac463fafd92e1caff2dc81a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/bundle.json","state_url":"https://pith.science/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/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-27T04:55:27Z","links":{"resolver":"https://pith.science/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3","bundle":"https://pith.science/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/bundle.json","state":"https://pith.science/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FENRKQYI4VJMRPAJ3ZVNJPKZX3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FENRKQYI4VJMRPAJ3ZVNJPKZX3","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":"8e806eb48e32992c8fd296f4860563df3ad8015e281c5967f7fdc57393607bd5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-16T08:03:12Z","title_canon_sha256":"f2c7458cf3cd979e0bf6d5d17f917eec71265436f5914aba891c94dbeabe1774"},"schema_version":"1.0","source":{"id":"1407.4225","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.4225","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.4225v2","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.4225","created_at":"2026-05-18T02:43:53Z"},{"alias_kind":"pith_short_12","alias_value":"FENRKQYI4VJM","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FENRKQYI4VJMRPAJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FENRKQYI","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:8e3c129c691fc46a91cf09960da9d256528ddcb9ac463fafd92e1caff2dc81a1","target":"graph","created_at":"2026-05-18T02:43:53Z","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 generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a subset of runs, and a function describing the view of an external observer, the value of interest for opacity is a measure of the set of runs disclosing the secret. We extend this definition to the richer framework of Markov decision processes, where non deterministic choice is combined with probabilistic transitions, and we study related decidability problems with partial or complete observation hypotheses for the sc","authors_text":"B\\'eatrice B\\'erard, Krishnendu Chatterjee, Nathalie Sznajder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-16T08:03:12Z","title":"Probabilistic Opacity for Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.4225","kind":"arxiv","version":2},"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:3a22d9aefe6104011e9e5a853be58c67ea2de1903cc5ffc2a356a5ad108c7de4","target":"record","created_at":"2026-05-18T02:43:53Z","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":"8e806eb48e32992c8fd296f4860563df3ad8015e281c5967f7fdc57393607bd5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-16T08:03:12Z","title_canon_sha256":"f2c7458cf3cd979e0bf6d5d17f917eec71265436f5914aba891c94dbeabe1774"},"schema_version":"1.0","source":{"id":"1407.4225","kind":"arxiv","version":2}},"canonical_sha256":"291b154308e552c8bc09de6ad4bd59becbb08e46c2153671da5c67b575303fbe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"291b154308e552c8bc09de6ad4bd59becbb08e46c2153671da5c67b575303fbe","first_computed_at":"2026-05-18T02:43:53.727461Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:53.727461Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A6hpNWWKZUT/uPvaO7Xjt9v5qm5AXUAtLvdq1dw//A5ViAR45P6xZQa99jsMKjy3rmlr8r/Tnh7u3+VbxpHoBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:53.727895Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.4225","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a22d9aefe6104011e9e5a853be58c67ea2de1903cc5ffc2a356a5ad108c7de4","sha256:8e3c129c691fc46a91cf09960da9d256528ddcb9ac463fafd92e1caff2dc81a1"],"state_sha256":"009b62834353695c5a1157c4e4d1fb82f70cd52db3bbdda61a4af1307233b4ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rQxGvfc2AuxagCbvZGw1DGZFswi3H8RwZjkRCGxVTQvcEmGMt+1uv3j+JxmkCwfI1sRyI6NGpQUY9GoZBJMkCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T04:55:27.023201Z","bundle_sha256":"126c6487859e3a7bf78b8384e0e989499ff7be529c7c3926aafc7f76c704f2fd"}}