{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CGWCJYIZTLEVPCVKJPDXM3LRXW","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":"66fdc758a0b68457c31152d05e18dd86dc829ccde8d241eac030b84d372578e9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-15T01:21:02Z","title_canon_sha256":"a63327c46145f8494a797517ebaa3258baf42805145c4ae461b614ad1f9a0b9a"},"schema_version":"1.0","source":{"id":"1805.05520","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.05520","created_at":"2026-05-18T00:16:00Z"},{"alias_kind":"arxiv_version","alias_value":"1805.05520v1","created_at":"2026-05-18T00:16:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.05520","created_at":"2026-05-18T00:16:00Z"},{"alias_kind":"pith_short_12","alias_value":"CGWCJYIZTLEV","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CGWCJYIZTLEVPCVK","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CGWCJYIZ","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:6ea02edc8a94f5b30799a67f93ce5decce8ad298fb2762fc944cdcedc3d321e0","target":"graph","created_at":"2026-05-18T00:16:00Z","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":"Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-based framework designed to support the security testing of modern cars. We use Communicating Sequential Processes (CSP) to create architectural models of the vehicle bus systems, as well as an initial set of attacks against these systems. While this contribution represents initial steps, we are mindful of the ultimate objective of generating test code","authors_text":"Andrew Simpson (Department of Computer Science, Department of Computer Science, Dominik Schoop (Esslingen University of Applied Sciences, Eduardo dos Santos (Centre for Doctoral Training in Cyber Security, Esslingen am Neckar, Germany), Oxford, United Kingdom), University of Oxford","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-15T01:21:02Z","title":"A Formal Model to Facilitate Security Testing in Modern Automotive Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.05520","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:5f0845e3146ef3e35727a833b46b37b447ad6f00b9d12f5457dc34c92f5f6ec4","target":"record","created_at":"2026-05-18T00:16:00Z","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":"66fdc758a0b68457c31152d05e18dd86dc829ccde8d241eac030b84d372578e9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-15T01:21:02Z","title_canon_sha256":"a63327c46145f8494a797517ebaa3258baf42805145c4ae461b614ad1f9a0b9a"},"schema_version":"1.0","source":{"id":"1805.05520","kind":"arxiv","version":1}},"canonical_sha256":"11ac24e1199ac9578aaa4bc7766d71bd9dae3ccbe706f99b001af7809a215114","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11ac24e1199ac9578aaa4bc7766d71bd9dae3ccbe706f99b001af7809a215114","first_computed_at":"2026-05-18T00:16:00.352233Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:00.352233Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"alwlXGMIVcf/oJb+pxS78UGJ6I25Zamg9aGLGlGPDXtq4hmvJXvDoCb2S5OTl231W6UXPrVm415rHyqW9OSbBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:00.352764Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.05520","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f0845e3146ef3e35727a833b46b37b447ad6f00b9d12f5457dc34c92f5f6ec4","sha256:6ea02edc8a94f5b30799a67f93ce5decce8ad298fb2762fc944cdcedc3d321e0"],"state_sha256":"039bed87898d8b2b85f9471791a8ce4f3d9437cec460588686e65dd39ead283d"}