{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2AQ6A5L57JKN63QZ352AO5GP64","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":"d29644542344582316ff4e3263be6f01b45d31376e5e70a301f6daf5f387c95f","cross_cats_sorted":["cs.AI","cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-27T07:50:40Z","title_canon_sha256":"fca7a799170f15a5ec23520c7813dec0d8b7cb4b7d601d9aede268700cff399f"},"schema_version":"1.0","source":{"id":"1707.08750","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08750","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08750v1","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08750","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"2AQ6A5L57JKN","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2AQ6A5L57JKN63QZ","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2AQ6A5L5","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:3569c7cfa201903311c9076c1373fe385ae0500c75ffd8f12c79b519dc1ae803","target":"graph","created_at":"2026-05-18T00:39:19Z","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":"While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic. Moreover, while still assuming that the knowledge operat","authors_text":"Joseph Y. Halpern (Cornell University), Riccardo Pucella (Forrester Research), Ron van der Meyden (University of New South Wales)","cross_cats":["cs.AI","cs.LO","cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-27T07:50:40Z","title":"An Epistemic Foundation for Authentication Logics (Extended Abstract)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08750","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:2095df8c103b5edcadc16b8c052046cd0284feca517b964412202ff5412dd906","target":"record","created_at":"2026-05-18T00:39:19Z","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":"d29644542344582316ff4e3263be6f01b45d31376e5e70a301f6daf5f387c95f","cross_cats_sorted":["cs.AI","cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-27T07:50:40Z","title_canon_sha256":"fca7a799170f15a5ec23520c7813dec0d8b7cb4b7d601d9aede268700cff399f"},"schema_version":"1.0","source":{"id":"1707.08750","kind":"arxiv","version":1}},"canonical_sha256":"d021e0757dfa54df6e19df740774cff729e0be4cc712188ab30162b459785d04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d021e0757dfa54df6e19df740774cff729e0be4cc712188ab30162b459785d04","first_computed_at":"2026-05-18T00:39:19.654749Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:19.654749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o2Ae5yejqfN1guDX3zrFWMFSTzYkA31wiDhH/vXPobGjIsbyAdLxBdKz3TU47FcLVNdX/MjE491BDGJhbVc9CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:19.655523Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08750","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2095df8c103b5edcadc16b8c052046cd0284feca517b964412202ff5412dd906","sha256:3569c7cfa201903311c9076c1373fe385ae0500c75ffd8f12c79b519dc1ae803"],"state_sha256":"cb3a8602823cf64f8e67e35adff48bb4286d597b99a7ae4a96e73332fb5fc9c1"}