{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:AS3JMUDTYDI55PJCI2QTJYS3ER","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":"b2911c61d6822537aa1f7acadb96530ac03533300ca62cef41f1ee7170308fdf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-04-15T13:16:10Z","title_canon_sha256":"1113dc994ba55095bc392e4a78a416dac8446e0542b006dbc383073de932bc90"},"schema_version":"1.0","source":{"id":"1404.3899","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.3899","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1404.3899v2","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.3899","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"AS3JMUDTYDI5","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AS3JMUDTYDI55PJC","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AS3JMUDT","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:c8a0f5ecfee779bea4e34b844fd442bf0943e8e12b78ca043df4fe5512e30760","target":"graph","created_at":"2026-05-18T02:49:45Z","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":"Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platform Modules. Sometimes it is the purpose of running the protocol, for example in commercial transactions.\n  Many richly developed tools and techniques, based on well-understood foundations, are availab","authors_text":"Daniel J. Dougherty, John D. Ramsdell, Joshua D. Guttman, Paul D. Rowe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-04-15T13:16:10Z","title":"A Hybrid Analysis for Security Protocols with State"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.3899","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:a60a3dbc396b74f645edfd01d47faf584934eb8c70ea546b71b5c95c291c59af","target":"record","created_at":"2026-05-18T02:49:45Z","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":"b2911c61d6822537aa1f7acadb96530ac03533300ca62cef41f1ee7170308fdf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-04-15T13:16:10Z","title_canon_sha256":"1113dc994ba55095bc392e4a78a416dac8446e0542b006dbc383073de932bc90"},"schema_version":"1.0","source":{"id":"1404.3899","kind":"arxiv","version":2}},"canonical_sha256":"04b6965073c0d1debd2246a134e25b245307163ff5f0f156503253ddf6162b91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04b6965073c0d1debd2246a134e25b245307163ff5f0f156503253ddf6162b91","first_computed_at":"2026-05-18T02:49:45.495115Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:45.495115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7hVSJXxcRCC1/kRfY6DokK9QSqG6sn+tyGfZQsZ7XnlQqx5RR+N5zy+lnWQapxMZvfMUW4//zQiISMogpG53BA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:45.495461Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.3899","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a60a3dbc396b74f645edfd01d47faf584934eb8c70ea546b71b5c95c291c59af","sha256:c8a0f5ecfee779bea4e34b844fd442bf0943e8e12b78ca043df4fe5512e30760"],"state_sha256":"76cad9b94a187da3fd9c5840fce060c78a94c20e873e6fc13258a8b188f352fd"}