{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CUG2ZIUBF2Q5LN27GGALM6IHG2","short_pith_number":"pith:CUG2ZIUB","canonical_record":{"source":{"id":"1308.1888","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-08-08T16:07:15Z","cross_cats_sorted":[],"title_canon_sha256":"023a903292e87c2e6e66d5d7211425e2d6dc80b3b85e32cb76675f72917751b9","abstract_canon_sha256":"f018af992a34252a946a693c3af8ffd7cb02a8650258c8d170f1d0143cbe126d"},"schema_version":"1.0"},"canonical_sha256":"150daca2812ea1d5b75f3180b6790736b84fa0772984b2401c653323bd9220c6","source":{"kind":"arxiv","id":"1308.1888","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.1888","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"arxiv_version","alias_value":"1308.1888v1","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.1888","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"pith_short_12","alias_value":"CUG2ZIUBF2Q5","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CUG2ZIUBF2Q5LN27","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CUG2ZIUB","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CUG2ZIUBF2Q5LN27GGALM6IHG2","target":"record","payload":{"canonical_record":{"source":{"id":"1308.1888","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-08-08T16:07:15Z","cross_cats_sorted":[],"title_canon_sha256":"023a903292e87c2e6e66d5d7211425e2d6dc80b3b85e32cb76675f72917751b9","abstract_canon_sha256":"f018af992a34252a946a693c3af8ffd7cb02a8650258c8d170f1d0143cbe126d"},"schema_version":"1.0"},"canonical_sha256":"150daca2812ea1d5b75f3180b6790736b84fa0772984b2401c653323bd9220c6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:27.476249Z","signature_b64":"htxEF6XUYBq7CH4XeSOya+uuuzVZBZY+P7sEy1Vs6/qWyCJ4IVPghrhJPS2z0OZJKp2p9jCSrc8sYGeiWmQyBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"150daca2812ea1d5b75f3180b6790736b84fa0772984b2401c653323bd9220c6","last_reissued_at":"2026-05-18T03:16:27.475650Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:27.475650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.1888","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-18T03:16:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qlEvg29rno1o29vqtnFtPJbu5759QV1Vy/fvsTnbAERDZZEdaQz6IkU5MdnjbJZaX5iBdqTOzP1YZ7mcs7DKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T14:04:31.853373Z"},"content_sha256":"0e00c57835e7a6357d56a8480f11effa3d228ac05e0a7f86f18fe64754098f7a","schema_version":"1.0","event_id":"sha256:0e00c57835e7a6357d56a8480f11effa3d228ac05e0a7f86f18fe64754098f7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CUG2ZIUBF2Q5LN27GGALM6IHG2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strand-Based Approach to Patch Security Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dieter Hutter, Raul Monroy","submitted_at":"2013-08-08T16:07:15Z","abstract_excerpt":"In this paper, we introduce a mechanism that aims to speed up the development cycle of security protocols, by adding automated aid for diagnosis and repair. Our mechanism relies on existing verification tools analyzing intermediate protocols and synthesizing potential attacks if the protocol is flawed. The analysis of these attacks (including type flaw attacks) pinpoints the source of the failure and controls the synthesis of appropriate patches to the protocol. Using strand spaces, we have developed general guidelines for protocol repair, and captured them into formal requirements on (sets of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.1888","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-18T03:16:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KA+7Hu2AX6bxfz4ioqC6ZA34T8m35yH/razMX5MuqjksGOZWp0ydjzZNkcqOSjxb4Pf31W0wgLuHhoooPuSEAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T14:04:31.853712Z"},"content_sha256":"71062f2585a2e1dc61ab0e6df701cddf94aee556d2488a007f697b313c6f49b9","schema_version":"1.0","event_id":"sha256:71062f2585a2e1dc61ab0e6df701cddf94aee556d2488a007f697b313c6f49b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/bundle.json","state_url":"https://pith.science/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/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-06-30T14:04:31Z","links":{"resolver":"https://pith.science/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2","bundle":"https://pith.science/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/bundle.json","state":"https://pith.science/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CUG2ZIUBF2Q5LN27GGALM6IHG2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CUG2ZIUBF2Q5LN27GGALM6IHG2","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":"f018af992a34252a946a693c3af8ffd7cb02a8650258c8d170f1d0143cbe126d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-08-08T16:07:15Z","title_canon_sha256":"023a903292e87c2e6e66d5d7211425e2d6dc80b3b85e32cb76675f72917751b9"},"schema_version":"1.0","source":{"id":"1308.1888","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.1888","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"arxiv_version","alias_value":"1308.1888v1","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.1888","created_at":"2026-05-18T03:16:27Z"},{"alias_kind":"pith_short_12","alias_value":"CUG2ZIUBF2Q5","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CUG2ZIUBF2Q5LN27","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CUG2ZIUB","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:71062f2585a2e1dc61ab0e6df701cddf94aee556d2488a007f697b313c6f49b9","target":"graph","created_at":"2026-05-18T03:16:27Z","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":"In this paper, we introduce a mechanism that aims to speed up the development cycle of security protocols, by adding automated aid for diagnosis and repair. Our mechanism relies on existing verification tools analyzing intermediate protocols and synthesizing potential attacks if the protocol is flawed. The analysis of these attacks (including type flaw attacks) pinpoints the source of the failure and controls the synthesis of appropriate patches to the protocol. Using strand spaces, we have developed general guidelines for protocol repair, and captured them into formal requirements on (sets of","authors_text":"Dieter Hutter, Raul Monroy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-08-08T16:07:15Z","title":"Strand-Based Approach to Patch Security Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.1888","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:0e00c57835e7a6357d56a8480f11effa3d228ac05e0a7f86f18fe64754098f7a","target":"record","created_at":"2026-05-18T03:16:27Z","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":"f018af992a34252a946a693c3af8ffd7cb02a8650258c8d170f1d0143cbe126d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-08-08T16:07:15Z","title_canon_sha256":"023a903292e87c2e6e66d5d7211425e2d6dc80b3b85e32cb76675f72917751b9"},"schema_version":"1.0","source":{"id":"1308.1888","kind":"arxiv","version":1}},"canonical_sha256":"150daca2812ea1d5b75f3180b6790736b84fa0772984b2401c653323bd9220c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"150daca2812ea1d5b75f3180b6790736b84fa0772984b2401c653323bd9220c6","first_computed_at":"2026-05-18T03:16:27.475650Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:27.475650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"htxEF6XUYBq7CH4XeSOya+uuuzVZBZY+P7sEy1Vs6/qWyCJ4IVPghrhJPS2z0OZJKp2p9jCSrc8sYGeiWmQyBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:27.476249Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.1888","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e00c57835e7a6357d56a8480f11effa3d228ac05e0a7f86f18fe64754098f7a","sha256:71062f2585a2e1dc61ab0e6df701cddf94aee556d2488a007f697b313c6f49b9"],"state_sha256":"4e402dcb980ab562db116af7d8af462a1e2707477f9e6c18e52519c70684b635"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjquYY9GBEMqqQTHiT5FDNMctEtlfQgn4K8axHAx46OvprR/SJsccxhwtNhyKIQDpmtEay2Np2yGfs7bh08kAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T14:04:31.855499Z","bundle_sha256":"162a78945ffa991f02459a5e0a530f6750e5642156111ff0640076686f888f80"}}