{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:4CH76AGGYJL277DYR4HV5SURAV","short_pith_number":"pith:4CH76AGG","schema_version":"1.0","canonical_sha256":"e08fff00c6c257affc788f0f5eca91054c8133e9992aca75c07632cd051c32cf","source":{"kind":"arxiv","id":"1902.04336","version":3},"attestation_state":"computed","paper":{"title":"Parametric analyses of attack-fault trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Didier Lime, \\'Etienne Andr\\'e, Mari\\\"elle Stoelinga, Mathias Ramparison","submitted_at":"2019-02-12T11:25:52Z","abstract_excerpt":"Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are conditions that must be guaranteed. One of the traditional tools used to help considering these problems is attack trees, a tree-based formalism inspired by fault trees, a well-known formalism used in safety engineering. In this paper we define and implement the translation of attack-fault trees (AFTs) to a new extension of timed automata, called parametric w"},"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":"1902.04336","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-02-12T11:25:52Z","cross_cats_sorted":[],"title_canon_sha256":"79877b0ec16aa617f1bf2f5446329b13e822023914b52966e837738f5f8222a9","abstract_canon_sha256":"359ad8f8a3063e35efcafbbcf7f4b8a8e16ef991ca33b4348b012dccdf692a84"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:41.088548Z","signature_b64":"+1NEl8Ae+RSawy1KipEKMK2mxmyQ6KWPO8Kr586KIHiFdvhOAhmNVNvrw5Cb1RSil4GrYij6j+CMFMG5eIMEBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e08fff00c6c257affc788f0f5eca91054c8133e9992aca75c07632cd051c32cf","last_reissued_at":"2026-05-17T23:46:41.087960Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:41.087960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Parametric analyses of attack-fault trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Didier Lime, \\'Etienne Andr\\'e, Mari\\\"elle Stoelinga, Mathias Ramparison","submitted_at":"2019-02-12T11:25:52Z","abstract_excerpt":"Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are conditions that must be guaranteed. One of the traditional tools used to help considering these problems is attack trees, a tree-based formalism inspired by fault trees, a well-known formalism used in safety engineering. In this paper we define and implement the translation of attack-fault trees (AFTs) to a new extension of timed automata, called parametric w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04336","kind":"arxiv","version":3},"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":"1902.04336","created_at":"2026-05-17T23:46:41.088047+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.04336v3","created_at":"2026-05-17T23:46:41.088047+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04336","created_at":"2026-05-17T23:46:41.088047+00:00"},{"alias_kind":"pith_short_12","alias_value":"4CH76AGGYJL2","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"4CH76AGGYJL277DY","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"4CH76AGG","created_at":"2026-05-18T12:33:10.108867+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/4CH76AGGYJL277DYR4HV5SURAV","json":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV.json","graph_json":"https://pith.science/api/pith-number/4CH76AGGYJL277DYR4HV5SURAV/graph.json","events_json":"https://pith.science/api/pith-number/4CH76AGGYJL277DYR4HV5SURAV/events.json","paper":"https://pith.science/paper/4CH76AGG"},"agent_actions":{"view_html":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV","download_json":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV.json","view_paper":"https://pith.science/paper/4CH76AGG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.04336&json=true","fetch_graph":"https://pith.science/api/pith-number/4CH76AGGYJL277DYR4HV5SURAV/graph.json","fetch_events":"https://pith.science/api/pith-number/4CH76AGGYJL277DYR4HV5SURAV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV/action/storage_attestation","attest_author":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV/action/author_attestation","sign_citation":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV/action/citation_signature","submit_replication":"https://pith.science/pith/4CH76AGGYJL277DYR4HV5SURAV/action/replication_record"}},"created_at":"2026-05-17T23:46:41.088047+00:00","updated_at":"2026-05-17T23:46:41.088047+00:00"}