{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:KQ757ZQKSLOT7SZQ6H4EP3N3MV","short_pith_number":"pith:KQ757ZQK","canonical_record":{"source":{"id":"1503.02261","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-03-08T09:09:55Z","cross_cats_sorted":[],"title_canon_sha256":"4214cec68e599cbc3df9d789cfae9cc797cee54c3c6cc0512fe4afe67aa364bc","abstract_canon_sha256":"15ea7a6a67a5ee6791ac3c8bdf76af5417e6ea9c3af027f36435ca3aeef21329"},"schema_version":"1.0"},"canonical_sha256":"543fdfe60a92dd3fcb30f1f847edbb65673043157166fdd4a88913797c938e25","source":{"kind":"arxiv","id":"1503.02261","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02261","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02261v1","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02261","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"pith_short_12","alias_value":"KQ757ZQKSLOT","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"KQ757ZQKSLOT7SZQ","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"KQ757ZQK","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:KQ757ZQKSLOT7SZQ6H4EP3N3MV","target":"record","payload":{"canonical_record":{"source":{"id":"1503.02261","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-03-08T09:09:55Z","cross_cats_sorted":[],"title_canon_sha256":"4214cec68e599cbc3df9d789cfae9cc797cee54c3c6cc0512fe4afe67aa364bc","abstract_canon_sha256":"15ea7a6a67a5ee6791ac3c8bdf76af5417e6ea9c3af027f36435ca3aeef21329"},"schema_version":"1.0"},"canonical_sha256":"543fdfe60a92dd3fcb30f1f847edbb65673043157166fdd4a88913797c938e25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:25.466517Z","signature_b64":"FODdtVNYPAeKajxRSO/g11krC7/NDHbuIfnq7CL9EtTX5t57yt/PGFJyjag5MijdOK6ZhmSfSpPemURlFj60Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"543fdfe60a92dd3fcb30f1f847edbb65673043157166fdd4a88913797c938e25","last_reissued_at":"2026-05-18T02:25:25.466145Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:25.466145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.02261","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-05-18T02:25:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9otkZXYhqaGVCCg5UZmnNdHu8GAfLp/pBlsQN8yAebdcAJ5urOIIb45+CovkMfcyejCXdPwFeo/ah9pejQmUCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:59:03.876647Z"},"content_sha256":"ddd2ed1ea5cde1c47526a9b6e41b78c1c47fb6c230672fcfc6d2acf962af56a7","schema_version":"1.0","event_id":"sha256:ddd2ed1ea5cde1c47526a9b6e41b78c1c47fb6c230672fcfc6d2acf962af56a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:KQ757ZQKSLOT7SZQ6H4EP3N3MV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Attack Trees with Sequential Conjunction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Barbara Kordy, Ravi Jhawar, Rolando Trujillo-Rasua, Sasa Radomirovic, Sjouke Mauw","submitted_at":"2015-03-08T09:09:55Z","abstract_excerpt":"We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator SAND. This operator enables the modeling of ordered events.\n  We give a semantics to SAND attack trees by interpreting them as sets of series-parallel graphs and propose a complete axiomatization of this semantics. We define normal forms for SAND attack trees and a term rewriting system which allows identification of semantically equivalent trees. Fin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02261","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":""},"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-18T02:25:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R7d390FJMD/B9ol0h0FRSAsnhW7A49FuQvgAZbxz630AcvFbByf3hv6dqQA/ZLHznh2sRkSvyeYDYWJEuk1JDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:59:03.876991Z"},"content_sha256":"c127fd28d9ac62a274993addc05a91b9ea872ef3579e9bc3cd69ff1272f2d0a4","schema_version":"1.0","event_id":"sha256:c127fd28d9ac62a274993addc05a91b9ea872ef3579e9bc3cd69ff1272f2d0a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/bundle.json","state_url":"https://pith.science/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/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-02T20:59:03Z","links":{"resolver":"https://pith.science/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV","bundle":"https://pith.science/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/bundle.json","state":"https://pith.science/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KQ757ZQKSLOT7SZQ6H4EP3N3MV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:KQ757ZQKSLOT7SZQ6H4EP3N3MV","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":"15ea7a6a67a5ee6791ac3c8bdf76af5417e6ea9c3af027f36435ca3aeef21329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-03-08T09:09:55Z","title_canon_sha256":"4214cec68e599cbc3df9d789cfae9cc797cee54c3c6cc0512fe4afe67aa364bc"},"schema_version":"1.0","source":{"id":"1503.02261","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02261","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02261v1","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02261","created_at":"2026-05-18T02:25:25Z"},{"alias_kind":"pith_short_12","alias_value":"KQ757ZQKSLOT","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"KQ757ZQKSLOT7SZQ","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"KQ757ZQK","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:c127fd28d9ac62a274993addc05a91b9ea872ef3579e9bc3cd69ff1272f2d0a4","target":"graph","created_at":"2026-05-18T02:25:25Z","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":"We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator SAND. This operator enables the modeling of ordered events.\n  We give a semantics to SAND attack trees by interpreting them as sets of series-parallel graphs and propose a complete axiomatization of this semantics. We define normal forms for SAND attack trees and a term rewriting system which allows identification of semantically equivalent trees. Fin","authors_text":"Barbara Kordy, Ravi Jhawar, Rolando Trujillo-Rasua, Sasa Radomirovic, Sjouke Mauw","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-03-08T09:09:55Z","title":"Attack Trees with Sequential Conjunction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02261","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:ddd2ed1ea5cde1c47526a9b6e41b78c1c47fb6c230672fcfc6d2acf962af56a7","target":"record","created_at":"2026-05-18T02:25:25Z","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":"15ea7a6a67a5ee6791ac3c8bdf76af5417e6ea9c3af027f36435ca3aeef21329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-03-08T09:09:55Z","title_canon_sha256":"4214cec68e599cbc3df9d789cfae9cc797cee54c3c6cc0512fe4afe67aa364bc"},"schema_version":"1.0","source":{"id":"1503.02261","kind":"arxiv","version":1}},"canonical_sha256":"543fdfe60a92dd3fcb30f1f847edbb65673043157166fdd4a88913797c938e25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"543fdfe60a92dd3fcb30f1f847edbb65673043157166fdd4a88913797c938e25","first_computed_at":"2026-05-18T02:25:25.466145Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:25.466145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FODdtVNYPAeKajxRSO/g11krC7/NDHbuIfnq7CL9EtTX5t57yt/PGFJyjag5MijdOK6ZhmSfSpPemURlFj60Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:25.466517Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.02261","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddd2ed1ea5cde1c47526a9b6e41b78c1c47fb6c230672fcfc6d2acf962af56a7","sha256:c127fd28d9ac62a274993addc05a91b9ea872ef3579e9bc3cd69ff1272f2d0a4"],"state_sha256":"da4c7934547f32300f6883b2eae00746819f8bbcdb8200003f90673617540fba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QrXpxPm6Qup3csDWHI3WR5Wd5QHcxOnR2jrTD6CBfj3zVRZediI+vFVtqPRexh+IYpfqwEJEPZ7EWklMAigZCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T20:59:03.878935Z","bundle_sha256":"639aa9e064210b123ca9277024165237e5b4c7ca8b3e93dd3c29fead465196a7"}}