{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:F2HR6A5ZAY6KX2XS4HAUPZINOK","short_pith_number":"pith:F2HR6A5Z","canonical_record":{"source":{"id":"1904.09946","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-22T16:46:03Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"86a59652f90bfce94872d4982fabf143ee7e687af3aa4ff3616e7cb46cb36e9b","abstract_canon_sha256":"ed8a5a6d2a8dcc0fedac8077ed197fa537b194cba8fcd69dd5ea6c94db205966"},"schema_version":"1.0"},"canonical_sha256":"2e8f1f03b9063cabeaf2e1c147e50d72b45e61669966da5ef347499fb6dacfa2","source":{"kind":"arxiv","id":"1904.09946","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.09946","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"arxiv_version","alias_value":"1904.09946v1","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.09946","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"pith_short_12","alias_value":"F2HR6A5ZAY6K","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"F2HR6A5ZAY6KX2XS","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"F2HR6A5Z","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:F2HR6A5ZAY6KX2XS4HAUPZINOK","target":"record","payload":{"canonical_record":{"source":{"id":"1904.09946","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-22T16:46:03Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"86a59652f90bfce94872d4982fabf143ee7e687af3aa4ff3616e7cb46cb36e9b","abstract_canon_sha256":"ed8a5a6d2a8dcc0fedac8077ed197fa537b194cba8fcd69dd5ea6c94db205966"},"schema_version":"1.0"},"canonical_sha256":"2e8f1f03b9063cabeaf2e1c147e50d72b45e61669966da5ef347499fb6dacfa2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:02.790783Z","signature_b64":"5XyaAk65//g9d+8qMU8Bx8gHcTuOO1VcqJz+HiFHCaBjNdMZ9RibSU5osehtOp67SXG8/lVGcKyGfPjv4fHBCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e8f1f03b9063cabeaf2e1c147e50d72b45e61669966da5ef347499fb6dacfa2","last_reissued_at":"2026-05-17T23:48:02.790085Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:02.790085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.09946","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-17T23:48:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dHXk+R9J6P8ULHutUdKRU6i9mFJSX+foPWGBqEqR7VYrIBCvmXTTn1iTqsvn1dr/o4Rw1mvhlmkoDkWiukzaAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:57:13.024190Z"},"content_sha256":"95575d5473388ad0883980683d37a9727c0ecd8dbf318556f6bb295b4fb1f3bf","schema_version":"1.0","event_id":"sha256:95575d5473388ad0883980683d37a9727c0ecd8dbf318556f6bb295b4fb1f3bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:F2HR6A5ZAY6KX2XS4HAUPZINOK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strand Spaces with Choice via a Process Algebra Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.CR","authors_text":"Catherine Meadows, Fan Yang, Jos\\'e Meseguer, Santiago Escobar","submitted_at":"2019-04-22T16:46:03Z","abstract_excerpt":"Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in the strand space model of cryptographic protocols, particularly as it is used in the Maude-NPA cryptographic protocol analysis tool. To achieve this goal, we develop and give formal semantics to a process algebra for cryptographic protocols that supports a rich taxonomy of choice primitives for composing strand spaces. In our taxonomy, deterministic and non-deterministic choic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.09946","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-17T23:48:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zOglXNTenPELynIVuh1s98/fn3GLQYasgM53qutDaLR+n+zALvNDXCnitr92rf8MeaO2Q5hUYn5iS/a7DDa1AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:57:13.024676Z"},"content_sha256":"bc1c2b6fd86f42b07c716095d4bc01bbfa6621f4f59cc9ab759537ae9c7b320a","schema_version":"1.0","event_id":"sha256:bc1c2b6fd86f42b07c716095d4bc01bbfa6621f4f59cc9ab759537ae9c7b320a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/bundle.json","state_url":"https://pith.science/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/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-31T12:57:13Z","links":{"resolver":"https://pith.science/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK","bundle":"https://pith.science/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/bundle.json","state":"https://pith.science/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F2HR6A5ZAY6KX2XS4HAUPZINOK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:F2HR6A5ZAY6KX2XS4HAUPZINOK","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":"ed8a5a6d2a8dcc0fedac8077ed197fa537b194cba8fcd69dd5ea6c94db205966","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-22T16:46:03Z","title_canon_sha256":"86a59652f90bfce94872d4982fabf143ee7e687af3aa4ff3616e7cb46cb36e9b"},"schema_version":"1.0","source":{"id":"1904.09946","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.09946","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"arxiv_version","alias_value":"1904.09946v1","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.09946","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"pith_short_12","alias_value":"F2HR6A5ZAY6K","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"F2HR6A5ZAY6KX2XS","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"F2HR6A5Z","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:bc1c2b6fd86f42b07c716095d4bc01bbfa6621f4f59cc9ab759537ae9c7b320a","target":"graph","created_at":"2026-05-17T23:48:02Z","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":"Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in the strand space model of cryptographic protocols, particularly as it is used in the Maude-NPA cryptographic protocol analysis tool. To achieve this goal, we develop and give formal semantics to a process algebra for cryptographic protocols that supports a rich taxonomy of choice primitives for composing strand spaces. In our taxonomy, deterministic and non-deterministic choic","authors_text":"Catherine Meadows, Fan Yang, Jos\\'e Meseguer, Santiago Escobar","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-22T16:46:03Z","title":"Strand Spaces with Choice via a Process Algebra Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.09946","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:95575d5473388ad0883980683d37a9727c0ecd8dbf318556f6bb295b4fb1f3bf","target":"record","created_at":"2026-05-17T23:48:02Z","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":"ed8a5a6d2a8dcc0fedac8077ed197fa537b194cba8fcd69dd5ea6c94db205966","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-22T16:46:03Z","title_canon_sha256":"86a59652f90bfce94872d4982fabf143ee7e687af3aa4ff3616e7cb46cb36e9b"},"schema_version":"1.0","source":{"id":"1904.09946","kind":"arxiv","version":1}},"canonical_sha256":"2e8f1f03b9063cabeaf2e1c147e50d72b45e61669966da5ef347499fb6dacfa2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e8f1f03b9063cabeaf2e1c147e50d72b45e61669966da5ef347499fb6dacfa2","first_computed_at":"2026-05-17T23:48:02.790085Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:02.790085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5XyaAk65//g9d+8qMU8Bx8gHcTuOO1VcqJz+HiFHCaBjNdMZ9RibSU5osehtOp67SXG8/lVGcKyGfPjv4fHBCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:02.790783Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.09946","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:95575d5473388ad0883980683d37a9727c0ecd8dbf318556f6bb295b4fb1f3bf","sha256:bc1c2b6fd86f42b07c716095d4bc01bbfa6621f4f59cc9ab759537ae9c7b320a"],"state_sha256":"b72c6126788e1340b4b2dc0e3ad562e0654e0ed3d9bedbce67f2d301ea060399"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MC+a9p/0N4hihGXZBup26BulIGhAoKNB6vrbSfGzXxr6P3fF7i+1/pa1E1kw2vz8TtXznnRoRJSlQ1oS0NeBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T12:57:13.027916Z","bundle_sha256":"7f4f7c180f23c0ac57626903c2497e5470173d1acff88939bbd737787fc20923"}}