{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:727QKCGCNZRO6UFK3HOB7EDWBH","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":"8810da6fbda3ae763c8eb1cb417dc75486afe424d12b199be49e9f4e9a9e05bc","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-22T05:37:09Z","title_canon_sha256":"4eaeb866a48bcf633e9e6b3b9ea7e20c3479c14cdad7deca1b228faf1309d724"},"schema_version":"1.0","source":{"id":"2306.13115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.13115","created_at":"2026-07-05T06:24:01Z"},{"alias_kind":"arxiv_version","alias_value":"2306.13115v1","created_at":"2026-07-05T06:24:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.13115","created_at":"2026-07-05T06:24:01Z"},{"alias_kind":"pith_short_12","alias_value":"727QKCGCNZRO","created_at":"2026-07-05T06:24:01Z"},{"alias_kind":"pith_short_16","alias_value":"727QKCGCNZRO6UFK","created_at":"2026-07-05T06:24:01Z"},{"alias_kind":"pith_short_8","alias_value":"727QKCGC","created_at":"2026-07-05T06:24:01Z"}],"graph_snapshots":[{"event_id":"sha256:2913e56835c0d42d55fe6bb2dc02f10626f9f9b98a5008fe2585d4a375592e81","target":"graph","created_at":"2026-07-05T06:24:01Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2306.13115/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the operational technology level to compromise their safety functions. To identify these concerns, we propose a model-based testing approach which we consider a promising way to analyze the safety and security behavior of a system under test providing means to protect its components and to increase the quality and efficiency of the overall system. The structure of the u","authors_text":"Mukund Bhole, Thilo Sauter, Wolfgang Kastner","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-22T05:37:09Z","title":"A Model Based Framework for Testing Safety and Security in Operational Technology Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.13115","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:08a25ffd5d3033c4a1d250a0f82100c508c283fa0039ab9788736abf01477619","target":"record","created_at":"2026-07-05T06:24:01Z","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":"8810da6fbda3ae763c8eb1cb417dc75486afe424d12b199be49e9f4e9a9e05bc","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-22T05:37:09Z","title_canon_sha256":"4eaeb866a48bcf633e9e6b3b9ea7e20c3479c14cdad7deca1b228faf1309d724"},"schema_version":"1.0","source":{"id":"2306.13115","kind":"arxiv","version":1}},"canonical_sha256":"febf0508c26e62ef50aad9dc1f907609d9d5e77496b851e61749af727a4c3628","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"febf0508c26e62ef50aad9dc1f907609d9d5e77496b851e61749af727a4c3628","first_computed_at":"2026-07-05T06:24:01.846994Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:24:01.846994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bo0Xn5kKicgbJ976Ck/QQzqgH0j5PMRdp4HR+mug7CrTcjzBP31aS3VTtTlo6fNRW4bcXSZjCKxCAEAhur3wCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:24:01.847463Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.13115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08a25ffd5d3033c4a1d250a0f82100c508c283fa0039ab9788736abf01477619","sha256:2913e56835c0d42d55fe6bb2dc02f10626f9f9b98a5008fe2585d4a375592e81"],"state_sha256":"6143e8a2e711a8cee35055769d50de9846b61f59fb270b6037843a8d493a3522"}