{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:6XQSQPOUUXYN3UKBANRP4ZWCFZ","short_pith_number":"pith:6XQSQPOU","schema_version":"1.0","canonical_sha256":"f5e1283dd4a5f0ddd1410362fe66c22e77eae0ca4591d8c9f20097b0b20c92f4","source":{"kind":"arxiv","id":"1810.04866","version":2},"attestation_state":"computed","paper":{"title":"Model-Based Safety and Security Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Alexander Pretschner, Harald Ruess, Vivek Nigam","submitted_at":"2018-10-11T07:09:28Z","abstract_excerpt":"By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated, exchanging information, such as, key hazards/threats, risk evaluations, mechanisms used. This white paper describes some steps towards this integration by using models. We start by identifying some key technical challenges. Then we demonstrate how models, such as Goal Structured Notation (GSN) for safety and Attack Defense Trees (ADT) for security, can address these"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1810.04866","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-11T07:09:28Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1ab184b452c3aa1e9c1890ddd3e6bd61d3123b5d89141eb4c9792f1a3cdb1696","abstract_canon_sha256":"d9ad3d85e350109e7f7ebe5447990a8285b7a1fa233f14e82e218a25484946c8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:07.318901Z","signature_b64":"jvrBWPxBCl8cB+cyUv06D9TpmF9J+FlZhU6xIwX0lg7LK4IVk9EHvRGMidIJJJXI/ZOmqIpwoxdsLUOibNEADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5e1283dd4a5f0ddd1410362fe66c22e77eae0ca4591d8c9f20097b0b20c92f4","last_reissued_at":"2026-05-17T23:57:07.318517Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:07.318517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model-Based Safety and Security Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Alexander Pretschner, Harald Ruess, Vivek Nigam","submitted_at":"2018-10-11T07:09:28Z","abstract_excerpt":"By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated, exchanging information, such as, key hazards/threats, risk evaluations, mechanisms used. This white paper describes some steps towards this integration by using models. We start by identifying some key technical challenges. Then we demonstrate how models, such as Goal Structured Notation (GSN) for safety and Attack Defense Trees (ADT) for security, can address these"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04866","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.04866","created_at":"2026-05-17T23:57:07.318587+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.04866v2","created_at":"2026-05-17T23:57:07.318587+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04866","created_at":"2026-05-17T23:57:07.318587+00:00"},{"alias_kind":"pith_short_12","alias_value":"6XQSQPOUUXYN","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"6XQSQPOUUXYN3UKB","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"6XQSQPOU","created_at":"2026-05-18T12:32:11.075285+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ","json":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ.json","graph_json":"https://pith.science/api/pith-number/6XQSQPOUUXYN3UKBANRP4ZWCFZ/graph.json","events_json":"https://pith.science/api/pith-number/6XQSQPOUUXYN3UKBANRP4ZWCFZ/events.json","paper":"https://pith.science/paper/6XQSQPOU"},"agent_actions":{"view_html":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ","download_json":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ.json","view_paper":"https://pith.science/paper/6XQSQPOU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.04866&json=true","fetch_graph":"https://pith.science/api/pith-number/6XQSQPOUUXYN3UKBANRP4ZWCFZ/graph.json","fetch_events":"https://pith.science/api/pith-number/6XQSQPOUUXYN3UKBANRP4ZWCFZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ/action/storage_attestation","attest_author":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ/action/author_attestation","sign_citation":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ/action/citation_signature","submit_replication":"https://pith.science/pith/6XQSQPOUUXYN3UKBANRP4ZWCFZ/action/replication_record"}},"created_at":"2026-05-17T23:57:07.318587+00:00","updated_at":"2026-05-17T23:57:07.318587+00:00"}