{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:EN5XFANUIEOQ2IR24ZORN2Z4H4","short_pith_number":"pith:EN5XFANU","canonical_record":{"source":{"id":"1603.00087","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-02-29T23:12:24Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"be14123afa0e944858ff0df96754e775e71d0d6e8fb8364090e4dc4929413680","abstract_canon_sha256":"f0fbb7ba9d91903b71732b09b1f2aac79d6a3a1b5f94268f80e2d43c61759192"},"schema_version":"1.0"},"canonical_sha256":"237b7281b4411d0d223ae65d16eb3c3f3f2dddb2ad4fa88989db472bd5713e4a","source":{"kind":"arxiv","id":"1603.00087","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.00087","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"arxiv_version","alias_value":"1603.00087v1","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.00087","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"pith_short_12","alias_value":"EN5XFANUIEOQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"EN5XFANUIEOQ2IR2","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"EN5XFANU","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:EN5XFANUIEOQ2IR24ZORN2Z4H4","target":"record","payload":{"canonical_record":{"source":{"id":"1603.00087","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-02-29T23:12:24Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"be14123afa0e944858ff0df96754e775e71d0d6e8fb8364090e4dc4929413680","abstract_canon_sha256":"f0fbb7ba9d91903b71732b09b1f2aac79d6a3a1b5f94268f80e2d43c61759192"},"schema_version":"1.0"},"canonical_sha256":"237b7281b4411d0d223ae65d16eb3c3f3f2dddb2ad4fa88989db472bd5713e4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:49.226082Z","signature_b64":"yrpZGkGSXciJlfxQESmMTUepxaJ8geTaigFbsq71bqKDjNXe8v8x3R58xRQwcjiL0DXlMNfKzikZ+iNYIIZ4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"237b7281b4411d0d223ae65d16eb3c3f3f2dddb2ad4fa88989db472bd5713e4a","last_reissued_at":"2026-05-18T01:19:49.225687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:49.225687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.00087","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-18T01:19:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nMZCWmbax6cIJa5PtZ+JBujc7JivRw+plaC46/JmjBuqALbYhX9xtosP8gtAe1BN+uPtzTzWYFfzfMy3Qao2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:13:40.046558Z"},"content_sha256":"f48153669c3a4710378c3809e0ecf1b84d467e90a586f361433973deab1857d7","schema_version":"1.0","event_id":"sha256:f48153669c3a4710378c3809e0ecf1b84d467e90a586f361433973deab1857d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:EN5XFANUIEOQ2IR24ZORN2Z4H4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effective Sequential Protocol Composition in Maude-NPA","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.CR","authors_text":"Catherine Meadows, Jos\\'e Meseguer, Santiago Escobar, Sonia Santiago","submitted_at":"2016-02-29T23:12:24Z","abstract_excerpt":"Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition is done incorrectly or is not well understood. In this paper we discuss an extension to the Maude-NPA syntax and its operational semantics to support dynamic sequential composition of protocols, so that protocols can be specified separately and composed when desired. This allows one to reason about many different compositions with minimal changes to the specification, as well as improving, in terms of both performance"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.00087","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-18T01:19:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zqXxAn+0s0NlrXwi+PaGGWoGR5zDrmoNigjf54tKDl7vPKWzTHVYjD6OKxiZ92svkws1eMsgEn/773v8CWznBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:13:40.047262Z"},"content_sha256":"2780f2789c2e42032a301f0f8c2392a8918e120463fc38a59c6c34c49948d17f","schema_version":"1.0","event_id":"sha256:2780f2789c2e42032a301f0f8c2392a8918e120463fc38a59c6c34c49948d17f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/bundle.json","state_url":"https://pith.science/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/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-31T18:13:40Z","links":{"resolver":"https://pith.science/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4","bundle":"https://pith.science/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/bundle.json","state":"https://pith.science/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EN5XFANUIEOQ2IR24ZORN2Z4H4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EN5XFANUIEOQ2IR24ZORN2Z4H4","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":"f0fbb7ba9d91903b71732b09b1f2aac79d6a3a1b5f94268f80e2d43c61759192","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-02-29T23:12:24Z","title_canon_sha256":"be14123afa0e944858ff0df96754e775e71d0d6e8fb8364090e4dc4929413680"},"schema_version":"1.0","source":{"id":"1603.00087","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.00087","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"arxiv_version","alias_value":"1603.00087v1","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.00087","created_at":"2026-05-18T01:19:49Z"},{"alias_kind":"pith_short_12","alias_value":"EN5XFANUIEOQ","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"EN5XFANUIEOQ2IR2","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"EN5XFANU","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:2780f2789c2e42032a301f0f8c2392a8918e120463fc38a59c6c34c49948d17f","target":"graph","created_at":"2026-05-18T01:19:49Z","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":"Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition is done incorrectly or is not well understood. In this paper we discuss an extension to the Maude-NPA syntax and its operational semantics to support dynamic sequential composition of protocols, so that protocols can be specified separately and composed when desired. This allows one to reason about many different compositions with minimal changes to the specification, as well as improving, in terms of both performance","authors_text":"Catherine Meadows, Jos\\'e Meseguer, Santiago Escobar, Sonia Santiago","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-02-29T23:12:24Z","title":"Effective Sequential Protocol Composition in Maude-NPA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.00087","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:f48153669c3a4710378c3809e0ecf1b84d467e90a586f361433973deab1857d7","target":"record","created_at":"2026-05-18T01:19:49Z","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":"f0fbb7ba9d91903b71732b09b1f2aac79d6a3a1b5f94268f80e2d43c61759192","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-02-29T23:12:24Z","title_canon_sha256":"be14123afa0e944858ff0df96754e775e71d0d6e8fb8364090e4dc4929413680"},"schema_version":"1.0","source":{"id":"1603.00087","kind":"arxiv","version":1}},"canonical_sha256":"237b7281b4411d0d223ae65d16eb3c3f3f2dddb2ad4fa88989db472bd5713e4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"237b7281b4411d0d223ae65d16eb3c3f3f2dddb2ad4fa88989db472bd5713e4a","first_computed_at":"2026-05-18T01:19:49.225687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:49.225687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yrpZGkGSXciJlfxQESmMTUepxaJ8geTaigFbsq71bqKDjNXe8v8x3R58xRQwcjiL0DXlMNfKzikZ+iNYIIZ4Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:49.226082Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.00087","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f48153669c3a4710378c3809e0ecf1b84d467e90a586f361433973deab1857d7","sha256:2780f2789c2e42032a301f0f8c2392a8918e120463fc38a59c6c34c49948d17f"],"state_sha256":"79c6162938ae93605e82737a6bea1fdd03d8a16f4dae3804359642484cda556d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tmKN9QzbUpqKc6SXmtO5h17dkG9OBZ6a38k4LXdl4+1wY/FAnzTCgmwU8Z2yutC02oazWK/oRq+qhuMz4PeYBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T18:13:40.051493Z","bundle_sha256":"5b744b9947d56afdb3306f81caa9ea9db447e915d23947ff724f921c6ab3541a"}}