{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:BTJM2AMPQPH3HA4RSKVAIZ4J4P","short_pith_number":"pith:BTJM2AMP","canonical_record":{"source":{"id":"1612.03706","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-12-09T03:56:24Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"8654fcb99f01c255d4e9b27baaa6f1ddb078e0a340ede102632b2583b4d574d2","abstract_canon_sha256":"8cce0b4233d3e7606d54e5255d96c2982cee3de9d02d977610abc1173b936f57"},"schema_version":"1.0"},"canonical_sha256":"0cd2cd018f83cfb3839192aa046789e3c6b23545d965b83a289cad721810b67f","source":{"kind":"arxiv","id":"1612.03706","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03706","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03706v2","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03706","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"pith_short_12","alias_value":"BTJM2AMPQPH3","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"BTJM2AMPQPH3HA4R","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"BTJM2AMP","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:BTJM2AMPQPH3HA4RSKVAIZ4J4P","target":"record","payload":{"canonical_record":{"source":{"id":"1612.03706","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-12-09T03:56:24Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"8654fcb99f01c255d4e9b27baaa6f1ddb078e0a340ede102632b2583b4d574d2","abstract_canon_sha256":"8cce0b4233d3e7606d54e5255d96c2982cee3de9d02d977610abc1173b936f57"},"schema_version":"1.0"},"canonical_sha256":"0cd2cd018f83cfb3839192aa046789e3c6b23545d965b83a289cad721810b67f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:05.285124Z","signature_b64":"lBv+6NrD4MFveLnJ4wo325nNTkXDtof+EOCrLfHdgLaazJE4gf0I36hmItIXzreZh4tGhjVFP8s7/RXjoV5yBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0cd2cd018f83cfb3839192aa046789e3c6b23545d965b83a289cad721810b67f","last_reissued_at":"2026-05-18T00:08:05.284707Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:05.284707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.03706","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-18T00:08:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8zEyFkHyNWnKq01jKdtSMVbdzbvRZ2SwHakMHwBqc+1xdCdnTDdvdbSVAQUSdqn0o1vDH0ACds4iuZaVhXn+AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T09:25:58.032511Z"},"content_sha256":"27654db8d40e8b8733384a0a689d7f3587d38785037078c5dae382395050fb5a","schema_version":"1.0","event_id":"sha256:27654db8d40e8b8733384a0a689d7f3587d38785037078c5dae382395050fb5a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:BTJM2AMPQPH3HA4RSKVAIZ4J4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modelling and Analysis of Quantum Key Distribution Protocols, BB84 and B92, in Communicating Quantum Processes(CQP) language and Analysing in PRISM","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.CR","authors_text":"Satya Kuppam","submitted_at":"2016-12-09T03:56:24Z","abstract_excerpt":"Proof of security of cryptographic protocols theoretically establishes the strength of a protocol and the constraints under which it can perform, it does not take into account the overall design of the protocol. In the past model checking has been successfully applied to classical cryptographic protocols to weed out design flaws which would have otherwise gone unnoticed. Quantum cryptographic protocols differ from their classical counterparts, in their ability to detect the presence of an eavesdropper. Although unconditional security has been proven for both BB84 and B92 protocols, in this pap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03706","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-18T00:08:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aEX7OtsPNNSJtfrsgVzZ42Nyib2R1B7T8nGVeY5lOJsl/BtFRNnKkKN2M+4NM5RtDKcAhp6IrZTu0jUyJXZHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T09:25:58.033394Z"},"content_sha256":"cc4195f591f0a503acdc5c0e8f9c9f1241c455f34909b3c13b165f8b5d33d511","schema_version":"1.0","event_id":"sha256:cc4195f591f0a503acdc5c0e8f9c9f1241c455f34909b3c13b165f8b5d33d511"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/bundle.json","state_url":"https://pith.science/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/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-13T09:25:58Z","links":{"resolver":"https://pith.science/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P","bundle":"https://pith.science/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/bundle.json","state":"https://pith.science/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BTJM2AMPQPH3HA4RSKVAIZ4J4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:BTJM2AMPQPH3HA4RSKVAIZ4J4P","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":"8cce0b4233d3e7606d54e5255d96c2982cee3de9d02d977610abc1173b936f57","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-12-09T03:56:24Z","title_canon_sha256":"8654fcb99f01c255d4e9b27baaa6f1ddb078e0a340ede102632b2583b4d574d2"},"schema_version":"1.0","source":{"id":"1612.03706","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03706","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03706v2","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03706","created_at":"2026-05-18T00:08:05Z"},{"alias_kind":"pith_short_12","alias_value":"BTJM2AMPQPH3","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"BTJM2AMPQPH3HA4R","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"BTJM2AMP","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:cc4195f591f0a503acdc5c0e8f9c9f1241c455f34909b3c13b165f8b5d33d511","target":"graph","created_at":"2026-05-18T00:08:05Z","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":"Proof of security of cryptographic protocols theoretically establishes the strength of a protocol and the constraints under which it can perform, it does not take into account the overall design of the protocol. In the past model checking has been successfully applied to classical cryptographic protocols to weed out design flaws which would have otherwise gone unnoticed. Quantum cryptographic protocols differ from their classical counterparts, in their ability to detect the presence of an eavesdropper. Although unconditional security has been proven for both BB84 and B92 protocols, in this pap","authors_text":"Satya Kuppam","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-12-09T03:56:24Z","title":"Modelling and Analysis of Quantum Key Distribution Protocols, BB84 and B92, in Communicating Quantum Processes(CQP) language and Analysing in PRISM"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03706","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:27654db8d40e8b8733384a0a689d7f3587d38785037078c5dae382395050fb5a","target":"record","created_at":"2026-05-18T00:08:05Z","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":"8cce0b4233d3e7606d54e5255d96c2982cee3de9d02d977610abc1173b936f57","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-12-09T03:56:24Z","title_canon_sha256":"8654fcb99f01c255d4e9b27baaa6f1ddb078e0a340ede102632b2583b4d574d2"},"schema_version":"1.0","source":{"id":"1612.03706","kind":"arxiv","version":2}},"canonical_sha256":"0cd2cd018f83cfb3839192aa046789e3c6b23545d965b83a289cad721810b67f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0cd2cd018f83cfb3839192aa046789e3c6b23545d965b83a289cad721810b67f","first_computed_at":"2026-05-18T00:08:05.284707Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:05.284707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lBv+6NrD4MFveLnJ4wo325nNTkXDtof+EOCrLfHdgLaazJE4gf0I36hmItIXzreZh4tGhjVFP8s7/RXjoV5yBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:05.285124Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.03706","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27654db8d40e8b8733384a0a689d7f3587d38785037078c5dae382395050fb5a","sha256:cc4195f591f0a503acdc5c0e8f9c9f1241c455f34909b3c13b165f8b5d33d511"],"state_sha256":"4eafc6b15bdf6351cdc12df6d10deee345d07a4be9fef680f4baa08b3541c4ad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bQfdrIoFNHYyft8VmugVxAZ/Y/YyHxqONuFKbqYC2iB6iKuSSHjpbRRb00/XTpyY9k+ZiCUKhmZpVGrfkm1CDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T09:25:58.040325Z","bundle_sha256":"968884dc20f48b67c8a1a38c285fe3cf4e825fa453f069e20f535deafe055fe5"}}