{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:WH6F6YSCQ66S74DNDIA5BELAAB","short_pith_number":"pith:WH6F6YSC","schema_version":"1.0","canonical_sha256":"b1fc5f624287bd2ff06d1a01d0916000426e29dc0865e07f481570ceb3057ebe","source":{"kind":"arxiv","id":"1306.4714","version":1},"attestation_state":"computed","paper":{"title":"Penetration Testing == POMDP Solving?","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.AI","authors_text":"2), (2) ITBA (Instituto Tecnologico Buenos Aires), (3) INRIA), Carlos Sarraute (1, Joerg Hoffmann (3) ((1) Core Security Technologies, Olivier Buffet (3)","submitted_at":"2013-06-19T22:39:20Z","abstract_excerpt":"Penetration Testing is a methodology for assessing network security, by generating and executing possible attacks. Doing so automatically allows for regular and systematic testing without a prohibitive amount of human labor. A key question then is how to generate the attacks. This is naturally formulated as a planning problem. Previous work (Lucangeli et al. 2010) used classical planning and hence ignores all the incomplete knowledge that characterizes hacking. More recent work (Sarraute et al. 2011) makes strong independence assumptions for the sake of scaling, and lacks a clear formal concep"},"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":"1306.4714","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2013-06-19T22:39:20Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"73347a8a1efe3225280cac02f6cfa89c74a326b33589c1427a8e1cb90fcceff9","abstract_canon_sha256":"f8ca7fbce754d5ff961481c12b75448131a78afb2d2d1f6825c2226c547b0a40"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:20:21.915420Z","signature_b64":"wqKWlL9OrjT3hitXEvSE6aHRMpi3OWNzOlWMZ70zdfa1vx6nosH1LthkZw1CUy0I2iuPZ1t01XWdBSB4FupLAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1fc5f624287bd2ff06d1a01d0916000426e29dc0865e07f481570ceb3057ebe","last_reissued_at":"2026-05-18T03:20:21.914812Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:20:21.914812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Penetration Testing == POMDP Solving?","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.AI","authors_text":"2), (2) ITBA (Instituto Tecnologico Buenos Aires), (3) INRIA), Carlos Sarraute (1, Joerg Hoffmann (3) ((1) Core Security Technologies, Olivier Buffet (3)","submitted_at":"2013-06-19T22:39:20Z","abstract_excerpt":"Penetration Testing is a methodology for assessing network security, by generating and executing possible attacks. Doing so automatically allows for regular and systematic testing without a prohibitive amount of human labor. A key question then is how to generate the attacks. This is naturally formulated as a planning problem. Previous work (Lucangeli et al. 2010) used classical planning and hence ignores all the incomplete knowledge that characterizes hacking. More recent work (Sarraute et al. 2011) makes strong independence assumptions for the sake of scaling, and lacks a clear formal concep"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.4714","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1306.4714","created_at":"2026-05-18T03:20:21.914920+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.4714v1","created_at":"2026-05-18T03:20:21.914920+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.4714","created_at":"2026-05-18T03:20:21.914920+00:00"},{"alias_kind":"pith_short_12","alias_value":"WH6F6YSCQ66S","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_16","alias_value":"WH6F6YSCQ66S74DN","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_8","alias_value":"WH6F6YSC","created_at":"2026-05-18T12:28:04.890932+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/WH6F6YSCQ66S74DNDIA5BELAAB","json":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB.json","graph_json":"https://pith.science/api/pith-number/WH6F6YSCQ66S74DNDIA5BELAAB/graph.json","events_json":"https://pith.science/api/pith-number/WH6F6YSCQ66S74DNDIA5BELAAB/events.json","paper":"https://pith.science/paper/WH6F6YSC"},"agent_actions":{"view_html":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB","download_json":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB.json","view_paper":"https://pith.science/paper/WH6F6YSC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.4714&json=true","fetch_graph":"https://pith.science/api/pith-number/WH6F6YSCQ66S74DNDIA5BELAAB/graph.json","fetch_events":"https://pith.science/api/pith-number/WH6F6YSCQ66S74DNDIA5BELAAB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB/action/storage_attestation","attest_author":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB/action/author_attestation","sign_citation":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB/action/citation_signature","submit_replication":"https://pith.science/pith/WH6F6YSCQ66S74DNDIA5BELAAB/action/replication_record"}},"created_at":"2026-05-18T03:20:21.914920+00:00","updated_at":"2026-05-18T03:20:21.914920+00:00"}