{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GLX4PRBSZ3BOHHWVBUVEM2QIOO","short_pith_number":"pith:GLX4PRBS","canonical_record":{"source":{"id":"2506.23841","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-30T13:31:34Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"bd91d4017e3a157741ef8a74c9b128e7abbecd91dc76fe118744ae6458bdde95","abstract_canon_sha256":"c7b033ae3d0978e5f8e50e12fb424323b09510d30220b2c5ee889a8d60a5c792"},"schema_version":"1.0"},"canonical_sha256":"32efc7c432cec2e39ed50d2a466a0873a9c6b2a66b6bcd05dd52253cb4513d31","source":{"kind":"arxiv","id":"2506.23841","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23841","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23841v1","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23841","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_12","alias_value":"GLX4PRBSZ3BO","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_16","alias_value":"GLX4PRBSZ3BOHHWV","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_8","alias_value":"GLX4PRBS","created_at":"2026-07-05T11:29:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GLX4PRBSZ3BOHHWVBUVEM2QIOO","target":"record","payload":{"canonical_record":{"source":{"id":"2506.23841","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-30T13:31:34Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"bd91d4017e3a157741ef8a74c9b128e7abbecd91dc76fe118744ae6458bdde95","abstract_canon_sha256":"c7b033ae3d0978e5f8e50e12fb424323b09510d30220b2c5ee889a8d60a5c792"},"schema_version":"1.0"},"canonical_sha256":"32efc7c432cec2e39ed50d2a466a0873a9c6b2a66b6bcd05dd52253cb4513d31","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:28.732933Z","signature_b64":"4OQvt7brAYN5NbGwDUPupD8lZ3gQVfdWjOccbo3HdjDM0e7YnAGpzDiKv5Z64r7WVxU18q10gn8EpHMpo13nDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32efc7c432cec2e39ed50d2a466a0873a9c6b2a66b6bcd05dd52253cb4513d31","last_reissued_at":"2026-07-05T11:29:28.732352Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:28.732352Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.23841","source_version":1,"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-07-05T11:29:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0e+h/mwWpyTpKB9DoVxHDhBneqYbGoxs2cozV7Ap1PMmDsVqcLFcgj7ymN1lgfsickP3LU+CE0oVrriI9r81AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:17:57.309614Z"},"content_sha256":"1745b337e92296e3ec258835e8a472b8f900a81883424766d7fadb09ece9a36a","schema_version":"1.0","event_id":"sha256:1745b337e92296e3ec258835e8a472b8f900a81883424766d7fadb09ece9a36a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GLX4PRBSZ3BOHHWVBUVEM2QIOO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An ontological lens on attack trees: Toward adequacy and interoperability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Dan Klein, Gal Engelberg, Giancarlo Guizzardi, \\'Italo Oliveira, Mattia Fumagalli, Stefano M. Nicoletti","submitted_at":"2025-06-30T13:31:34Z","abstract_excerpt":"Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain security metrics (e.g., attack cost, probability, and damage). ATs offer three important services: (a) conceptual modeling capabilities for representing security risk management scenarios, (b) a qualitative assessment to find root causes and minimal conditions of successful attacks, and (c) quantitative analyses via security metrics computation under formal semantics, such as minimal time and cost among all attacks. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23841","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.23841/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:29:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8sIyNksgf4HdUVqfsETqMMnpHGLgYCRoU+jjF2CmSr7GPHG173QSF8UhSRxk3j9/rbqTYTYxqiT9d/wbeLAhDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:17:57.310688Z"},"content_sha256":"3db8c53132d66d145fae64ebb9c433edb045029a9664b625a147f2938c2e7480","schema_version":"1.0","event_id":"sha256:3db8c53132d66d145fae64ebb9c433edb045029a9664b625a147f2938c2e7480"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/bundle.json","state_url":"https://pith.science/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/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-08-06T13:17:57Z","links":{"resolver":"https://pith.science/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO","bundle":"https://pith.science/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/bundle.json","state":"https://pith.science/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GLX4PRBSZ3BOHHWVBUVEM2QIOO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GLX4PRBSZ3BOHHWVBUVEM2QIOO","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":"c7b033ae3d0978e5f8e50e12fb424323b09510d30220b2c5ee889a8d60a5c792","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-30T13:31:34Z","title_canon_sha256":"bd91d4017e3a157741ef8a74c9b128e7abbecd91dc76fe118744ae6458bdde95"},"schema_version":"1.0","source":{"id":"2506.23841","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23841","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23841v1","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23841","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_12","alias_value":"GLX4PRBSZ3BO","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_16","alias_value":"GLX4PRBSZ3BOHHWV","created_at":"2026-07-05T11:29:28Z"},{"alias_kind":"pith_short_8","alias_value":"GLX4PRBS","created_at":"2026-07-05T11:29:28Z"}],"graph_snapshots":[{"event_id":"sha256:3db8c53132d66d145fae64ebb9c433edb045029a9664b625a147f2938c2e7480","target":"graph","created_at":"2026-07-05T11:29:28Z","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/2506.23841/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain security metrics (e.g., attack cost, probability, and damage). ATs offer three important services: (a) conceptual modeling capabilities for representing security risk management scenarios, (b) a qualitative assessment to find root causes and minimal conditions of successful attacks, and (c) quantitative analyses via security metrics computation under formal semantics, such as minimal time and cost among all attacks. ","authors_text":"Dan Klein, Gal Engelberg, Giancarlo Guizzardi, \\'Italo Oliveira, Mattia Fumagalli, Stefano M. Nicoletti","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-30T13:31:34Z","title":"An ontological lens on attack trees: Toward adequacy and interoperability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23841","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:1745b337e92296e3ec258835e8a472b8f900a81883424766d7fadb09ece9a36a","target":"record","created_at":"2026-07-05T11:29:28Z","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":"c7b033ae3d0978e5f8e50e12fb424323b09510d30220b2c5ee889a8d60a5c792","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-30T13:31:34Z","title_canon_sha256":"bd91d4017e3a157741ef8a74c9b128e7abbecd91dc76fe118744ae6458bdde95"},"schema_version":"1.0","source":{"id":"2506.23841","kind":"arxiv","version":1}},"canonical_sha256":"32efc7c432cec2e39ed50d2a466a0873a9c6b2a66b6bcd05dd52253cb4513d31","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32efc7c432cec2e39ed50d2a466a0873a9c6b2a66b6bcd05dd52253cb4513d31","first_computed_at":"2026-07-05T11:29:28.732352Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:29:28.732352Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4OQvt7brAYN5NbGwDUPupD8lZ3gQVfdWjOccbo3HdjDM0e7YnAGpzDiKv5Z64r7WVxU18q10gn8EpHMpo13nDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:29:28.732933Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.23841","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1745b337e92296e3ec258835e8a472b8f900a81883424766d7fadb09ece9a36a","sha256:3db8c53132d66d145fae64ebb9c433edb045029a9664b625a147f2938c2e7480"],"state_sha256":"312a23320084f2a77fe8dfe28ee6196a861fc057efb8dea3bdbee0ad6166d3ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FbE7cU2l+8f4p38AWH3/58OTRLBdsPkNzRj0TF6uqIP2eUPZ81eaaJjl2xSUfcKkMzhImRtFtXgO9aBFOr6sDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T13:17:57.315417Z","bundle_sha256":"1855151418d825ac3f9d0eba7c9834cd49974287292b20a576795f469f1b87ec"}}