{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VMUYWVXVOCSRA6XJD3J25Q5T54","short_pith_number":"pith:VMUYWVXV","canonical_record":{"source":{"id":"1706.08507","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-26T17:54:03Z","cross_cats_sorted":[],"title_canon_sha256":"5b14aa5949aec91e757e7c9b86776ae1b0a05a1d12c05114291387036685a2bc","abstract_canon_sha256":"ba9b5c8d64514fc95554ee343bd7d28de92ba66c3a050a21bf86f9331a951d92"},"schema_version":"1.0"},"canonical_sha256":"ab298b56f570a5107ae91ed3aec3b3ef2c110c56afc76b399d3329747110cdb2","source":{"kind":"arxiv","id":"1706.08507","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.08507","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"arxiv_version","alias_value":"1706.08507v4","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.08507","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"pith_short_12","alias_value":"VMUYWVXVOCSR","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VMUYWVXVOCSRA6XJ","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VMUYWVXV","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VMUYWVXVOCSRA6XJD3J25Q5T54","target":"record","payload":{"canonical_record":{"source":{"id":"1706.08507","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-26T17:54:03Z","cross_cats_sorted":[],"title_canon_sha256":"5b14aa5949aec91e757e7c9b86776ae1b0a05a1d12c05114291387036685a2bc","abstract_canon_sha256":"ba9b5c8d64514fc95554ee343bd7d28de92ba66c3a050a21bf86f9331a951d92"},"schema_version":"1.0"},"canonical_sha256":"ab298b56f570a5107ae91ed3aec3b3ef2c110c56afc76b399d3329747110cdb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:59.027773Z","signature_b64":"XsQEjzisDBexACT1PzhQfY2BauNjNFCOu28LpKPFocv05kgOKL4/hziek2y4FBGpL/Akwawx1Vr1wjyhQzhcCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab298b56f570a5107ae91ed3aec3b3ef2c110c56afc76b399d3329747110cdb2","last_reissued_at":"2026-05-18T00:23:59.027222Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:59.027222Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.08507","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:23:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y+ZDBEfi5ZL2cT0iQbEfja2rAz2Jo1dsJH6FdxDEjKvRCwPJnt8czs9VtswqLG2VdU2HH6EG/gIqxZDKiqKUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T13:01:21.272178Z"},"content_sha256":"63a9e7b158c6bba57bafe6e2b9beac92fc1c456a3ef83258e8f2bde96d9b77ad","schema_version":"1.0","event_id":"sha256:63a9e7b158c6bba57bafe6e2b9beac92fc1c456a3ef83258e8f2bde96d9b77ad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VMUYWVXVOCSRA6XJD3J25Q5T54","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Is my attack tree correct? Extended version","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Barbara Kordy, Maxime Audinot, Sophie Pinchinat","submitted_at":"2017-06-26T17:54:03Z","abstract_excerpt":"Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system. We model real systems using transition systems and introduce attack trees with formally specified node labels. We formulate the correctness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems. The proposed framework can be used in practice to assist security experts in manual c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.08507","kind":"arxiv","version":4},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:23:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sMhQF+ogVjxzSaoq+4G2GxlOzKH3J++zC9muRVoW7W0CgnQESrKALyIAgPKEURUd7KiZwNuna28MWbwkLxb2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T13:01:21.272524Z"},"content_sha256":"42ba816b9d4542cb1c00b634a698b9f18ed0b076beec833b1a10769d0600e658","schema_version":"1.0","event_id":"sha256:42ba816b9d4542cb1c00b634a698b9f18ed0b076beec833b1a10769d0600e658"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/bundle.json","state_url":"https://pith.science/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T13:01:21Z","links":{"resolver":"https://pith.science/pith/VMUYWVXVOCSRA6XJD3J25Q5T54","bundle":"https://pith.science/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/bundle.json","state":"https://pith.science/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VMUYWVXVOCSRA6XJD3J25Q5T54/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VMUYWVXVOCSRA6XJD3J25Q5T54","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":"ba9b5c8d64514fc95554ee343bd7d28de92ba66c3a050a21bf86f9331a951d92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-26T17:54:03Z","title_canon_sha256":"5b14aa5949aec91e757e7c9b86776ae1b0a05a1d12c05114291387036685a2bc"},"schema_version":"1.0","source":{"id":"1706.08507","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.08507","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"arxiv_version","alias_value":"1706.08507v4","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.08507","created_at":"2026-05-18T00:23:59Z"},{"alias_kind":"pith_short_12","alias_value":"VMUYWVXVOCSR","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VMUYWVXVOCSRA6XJ","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VMUYWVXV","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:42ba816b9d4542cb1c00b634a698b9f18ed0b076beec833b1a10769d0600e658","target":"graph","created_at":"2026-05-18T00:23:59Z","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":"Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system. We model real systems using transition systems and introduce attack trees with formally specified node labels. We formulate the correctness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems. The proposed framework can be used in practice to assist security experts in manual c","authors_text":"Barbara Kordy, Maxime Audinot, Sophie Pinchinat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-26T17:54:03Z","title":"Is my attack tree correct? Extended version"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.08507","kind":"arxiv","version":4},"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:63a9e7b158c6bba57bafe6e2b9beac92fc1c456a3ef83258e8f2bde96d9b77ad","target":"record","created_at":"2026-05-18T00:23:59Z","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":"ba9b5c8d64514fc95554ee343bd7d28de92ba66c3a050a21bf86f9331a951d92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-26T17:54:03Z","title_canon_sha256":"5b14aa5949aec91e757e7c9b86776ae1b0a05a1d12c05114291387036685a2bc"},"schema_version":"1.0","source":{"id":"1706.08507","kind":"arxiv","version":4}},"canonical_sha256":"ab298b56f570a5107ae91ed3aec3b3ef2c110c56afc76b399d3329747110cdb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab298b56f570a5107ae91ed3aec3b3ef2c110c56afc76b399d3329747110cdb2","first_computed_at":"2026-05-18T00:23:59.027222Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:59.027222Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XsQEjzisDBexACT1PzhQfY2BauNjNFCOu28LpKPFocv05kgOKL4/hziek2y4FBGpL/Akwawx1Vr1wjyhQzhcCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:59.027773Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.08507","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63a9e7b158c6bba57bafe6e2b9beac92fc1c456a3ef83258e8f2bde96d9b77ad","sha256:42ba816b9d4542cb1c00b634a698b9f18ed0b076beec833b1a10769d0600e658"],"state_sha256":"e0465e520ab5326702fca4ef680448deb5d95a483023fe8874ffbde3f27aed82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1mcKQNFaNs89L1jlY6urSzbKGV9RDHumt2VRBNlouCce09skiMPxZDXLUKiLabq50eSby+/VCNlMU0lgMaMBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T13:01:21.274465Z","bundle_sha256":"45918326c0f9d253873bcbe0d7d0704b4dd781657f19cfbe9d4c2a614c18fab4"}}