{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:Q3PBJGGAX2NFMYX2XRY6SFUFQX","short_pith_number":"pith:Q3PBJGGA","canonical_record":{"source":{"id":"1306.4040","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.CR","submitted_at":"2013-06-17T23:26:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"da9844dae0486d9513bb39a89491b47fa94c536eeabbe3d89fc1d523556708dc","abstract_canon_sha256":"e93ce362ddf09a81adbddc7b75ca1d93cf034b60fba278bc621561f4fc372c06"},"schema_version":"1.0"},"canonical_sha256":"86de1498c0be9a5662fabc71e9168585d90aa0cb0a667ed5e478955d321718be","source":{"kind":"arxiv","id":"1306.4040","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.4040","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"1306.4040v1","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.4040","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"Q3PBJGGAX2NF","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"Q3PBJGGAX2NFMYX2","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"Q3PBJGGA","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:Q3PBJGGAX2NFMYX2XRY6SFUFQX","target":"record","payload":{"canonical_record":{"source":{"id":"1306.4040","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.CR","submitted_at":"2013-06-17T23:26:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"da9844dae0486d9513bb39a89491b47fa94c536eeabbe3d89fc1d523556708dc","abstract_canon_sha256":"e93ce362ddf09a81adbddc7b75ca1d93cf034b60fba278bc621561f4fc372c06"},"schema_version":"1.0"},"canonical_sha256":"86de1498c0be9a5662fabc71e9168585d90aa0cb0a667ed5e478955d321718be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:47.082575Z","signature_b64":"KKh6xX/gkSd/0KNRpZBqBwpSWiLf+4fs6auiN4b+1XlAog8dsE/A7KfgmB/HM/Exn7SvcWASvY5xZMo4FOxjDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86de1498c0be9a5662fabc71e9168585d90aa0cb0a667ed5e478955d321718be","last_reissued_at":"2026-05-18T00:40:47.081924Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:47.081924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.4040","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-18T00:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KiyvAYlmOD+dothSiWo36xDIziAHiSeB752qRxiTPI4ui5sjuAivDjwaK1v2yLkEpsbIGYg1vBLs5RLQLV4CBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:42:09.279607Z"},"content_sha256":"445ca039757dc43f41cb552225000b557c921f60217f8286512a05bce9a646e8","schema_version":"1.0","event_id":"sha256:445ca039757dc43f41cb552225000b557c921f60217f8286512a05bce9a646e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:Q3PBJGGAX2NFMYX2XRY6SFUFQX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"2), (2) ITBA (Instituto Tecnologico Buenos Aires), (3) UBA (Universidad de Buenos Aires)), Carlos Sarraute (1, Gerardo Richarte (1), Jorge Lucangeli Obes (3) ((1) Core Security Technologies","submitted_at":"2013-06-17T23:26:23Z","abstract_excerpt":"As penetration testing frameworks have evolved and have become more complex, the problem of controlling automatically the pentesting tool has become an important question. This can be naturally addressed as an attack planning problem. Previous approaches to this problem were based on modeling the actions and assets in the PDDL language, and using off-the-shelf AI tools to generate attack plans. These approaches however are limited. In particular, the planning is classical (the actions are deterministic) and thus not able to handle the uncertainty involved in this form of attack planning.\n  We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.4040","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-18T00:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TPOGJaIUALubBbzPEtfdEMGTXuCQkuX/XrRdLaNab5jdmXUh9A7YS9esSSq5OOY6+O2klwDKEQ20djuDByKWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:42:09.279957Z"},"content_sha256":"9cfc3c8170addd78b371d443647de0dfa1cf61a95eee6577b795e0ad448bfe21","schema_version":"1.0","event_id":"sha256:9cfc3c8170addd78b371d443647de0dfa1cf61a95eee6577b795e0ad448bfe21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/bundle.json","state_url":"https://pith.science/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/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-02T12:42:09Z","links":{"resolver":"https://pith.science/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX","bundle":"https://pith.science/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/bundle.json","state":"https://pith.science/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q3PBJGGAX2NFMYX2XRY6SFUFQX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:Q3PBJGGAX2NFMYX2XRY6SFUFQX","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":"e93ce362ddf09a81adbddc7b75ca1d93cf034b60fba278bc621561f4fc372c06","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.CR","submitted_at":"2013-06-17T23:26:23Z","title_canon_sha256":"da9844dae0486d9513bb39a89491b47fa94c536eeabbe3d89fc1d523556708dc"},"schema_version":"1.0","source":{"id":"1306.4040","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.4040","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"1306.4040v1","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.4040","created_at":"2026-05-18T00:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"Q3PBJGGAX2NF","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"Q3PBJGGAX2NFMYX2","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"Q3PBJGGA","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:9cfc3c8170addd78b371d443647de0dfa1cf61a95eee6577b795e0ad448bfe21","target":"graph","created_at":"2026-05-18T00:40:47Z","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":"As penetration testing frameworks have evolved and have become more complex, the problem of controlling automatically the pentesting tool has become an important question. This can be naturally addressed as an attack planning problem. Previous approaches to this problem were based on modeling the actions and assets in the PDDL language, and using off-the-shelf AI tools to generate attack plans. These approaches however are limited. In particular, the planning is classical (the actions are deterministic) and thus not able to handle the uncertainty involved in this form of attack planning.\n  We ","authors_text":"2), (2) ITBA (Instituto Tecnologico Buenos Aires), (3) UBA (Universidad de Buenos Aires)), Carlos Sarraute (1, Gerardo Richarte (1), Jorge Lucangeli Obes (3) ((1) Core Security Technologies","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.CR","submitted_at":"2013-06-17T23:26:23Z","title":"An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.4040","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:445ca039757dc43f41cb552225000b557c921f60217f8286512a05bce9a646e8","target":"record","created_at":"2026-05-18T00:40:47Z","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":"e93ce362ddf09a81adbddc7b75ca1d93cf034b60fba278bc621561f4fc372c06","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.CR","submitted_at":"2013-06-17T23:26:23Z","title_canon_sha256":"da9844dae0486d9513bb39a89491b47fa94c536eeabbe3d89fc1d523556708dc"},"schema_version":"1.0","source":{"id":"1306.4040","kind":"arxiv","version":1}},"canonical_sha256":"86de1498c0be9a5662fabc71e9168585d90aa0cb0a667ed5e478955d321718be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86de1498c0be9a5662fabc71e9168585d90aa0cb0a667ed5e478955d321718be","first_computed_at":"2026-05-18T00:40:47.081924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:47.081924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KKh6xX/gkSd/0KNRpZBqBwpSWiLf+4fs6auiN4b+1XlAog8dsE/A7KfgmB/HM/Exn7SvcWASvY5xZMo4FOxjDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:47.082575Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.4040","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:445ca039757dc43f41cb552225000b557c921f60217f8286512a05bce9a646e8","sha256:9cfc3c8170addd78b371d443647de0dfa1cf61a95eee6577b795e0ad448bfe21"],"state_sha256":"d79c2cef408f57562544650e1b91fa5aab4c18ffe1d85d36e03c1ce8c5e2ed5f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"riyiE9Vmv8DHNPA3//hmfRpgwsrI6ne2/p2KmGVfU0uBE6SmMHv0OzffWbKOgMvkUswQV0V0DtkXc5vOwLTiDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:42:09.281845Z","bundle_sha256":"90d3e3f837eba23d443e2c3180bef51d8f45c0bb20646920e877dc38c3351d8b"}}