{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZXE4RSG5MPA4NLBG7X22OOYMQ7","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":"92be3a0e110113a797814e780c5367535bb16a50293311876cbce49a015c0c08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-24T13:34:39Z","title_canon_sha256":"4c858658f8b6c1666a4c5ef05e6ae753be32e5725c7adc64237f255e16ee6212"},"schema_version":"1.0","source":{"id":"1704.07216","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.07216","created_at":"2026-05-18T00:38:35Z"},{"alias_kind":"arxiv_version","alias_value":"1704.07216v2","created_at":"2026-05-18T00:38:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.07216","created_at":"2026-05-18T00:38:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZXE4RSG5MPA4","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZXE4RSG5MPA4NLBG","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZXE4RSG5","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:bf5b461f7ad86dff9ed60b97ab563fd0100f906950dd21cea55fa4e23ccafde0","target":"graph","created_at":"2026-05-18T00:38:35Z","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":"Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols.\n  This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credential","authors_text":"Andrew Paverd, Frank Kargl, Helen Treharne, Jorden Whitefield, Liqun Chen, Stephan Wesemeyer, Steve Schneider","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-24T13:34:39Z","title":"Formal Analysis of V2X Revocation Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.07216","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:6012afe73d21ba64bc8bd93e7886c156352714689ef6f938cfac8b9bf9341356","target":"record","created_at":"2026-05-18T00:38:35Z","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":"92be3a0e110113a797814e780c5367535bb16a50293311876cbce49a015c0c08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-24T13:34:39Z","title_canon_sha256":"4c858658f8b6c1666a4c5ef05e6ae753be32e5725c7adc64237f255e16ee6212"},"schema_version":"1.0","source":{"id":"1704.07216","kind":"arxiv","version":2}},"canonical_sha256":"cdc9c8c8dd63c1c6ac26fdf5a73b0c87d65e2a71b84c71b515723ba6148e60c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cdc9c8c8dd63c1c6ac26fdf5a73b0c87d65e2a71b84c71b515723ba6148e60c1","first_computed_at":"2026-05-18T00:38:35.719220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:35.719220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CFrfP1oI51ElLiRGplBY4b4wo23FVO+Yj1px5tSlC5GxfLfCARbauS1DQOqsWiEx872YseHUJJLa77MbQLepCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:35.719718Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.07216","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6012afe73d21ba64bc8bd93e7886c156352714689ef6f938cfac8b9bf9341356","sha256:bf5b461f7ad86dff9ed60b97ab563fd0100f906950dd21cea55fa4e23ccafde0"],"state_sha256":"68969fd1a656cd7a3a9fbb49bf8ddbe1991bc9bbe6bcc32a18aee9c87ead34db"}