{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JJ4UL2BWY372BU22QLNL52SLPN","short_pith_number":"pith:JJ4UL2BW","canonical_record":{"source":{"id":"2311.09449","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-15T23:36:14Z","cross_cats_sorted":["cs.AI","cs.OS"],"title_canon_sha256":"87b3b3ab8e93fd98409c18eb434c0b7d2151da4ee15dec189e66d854e0219e0f","abstract_canon_sha256":"6e1ae99f714cc38bc79538e6d58d5656b71195ee6b066850be8bd966b41802b5"},"schema_version":"1.0"},"canonical_sha256":"4a7945e836c6ffa0d35a82dabeea4b7b558a45b7ed7b747dcba0fde15c6c3a76","source":{"kind":"arxiv","id":"2311.09449","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09449","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09449v2","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09449","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_12","alias_value":"JJ4UL2BWY372","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_16","alias_value":"JJ4UL2BWY372BU22","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_8","alias_value":"JJ4UL2BW","created_at":"2026-07-05T10:36:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JJ4UL2BWY372BU22QLNL52SLPN","target":"record","payload":{"canonical_record":{"source":{"id":"2311.09449","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-15T23:36:14Z","cross_cats_sorted":["cs.AI","cs.OS"],"title_canon_sha256":"87b3b3ab8e93fd98409c18eb434c0b7d2151da4ee15dec189e66d854e0219e0f","abstract_canon_sha256":"6e1ae99f714cc38bc79538e6d58d5656b71195ee6b066850be8bd966b41802b5"},"schema_version":"1.0"},"canonical_sha256":"4a7945e836c6ffa0d35a82dabeea4b7b558a45b7ed7b747dcba0fde15c6c3a76","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:36:22.092762Z","signature_b64":"jKojREeXMvQ7ONgO8xnG1eALU+axaec73Mp0aKkTWJchdC9oXlgnn+pnl+pg1X1KzNGwEOPD6AyIkGxkxmBiBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a7945e836c6ffa0d35a82dabeea4b7b558a45b7ed7b747dcba0fde15c6c3a76","last_reissued_at":"2026-07-05T10:36:22.091984Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:36:22.091984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.09449","source_version":2,"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-05T10:36:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MjUjpQE6z3UWG0drN7s8K6iRm26CSS+fejNWwnNdWfrrpZffcjX9FlxQkwYlxffYAjlj2SONKQWTkywOZmzXCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:54:50.861262Z"},"content_sha256":"0326d09892d86377a7cc7e17b7e6db9c696c1e3ea2cd2f15729a4907726a1c03","schema_version":"1.0","event_id":"sha256:0326d09892d86377a7cc7e17b7e6db9c696c1e3ea2cd2f15729a4907726a1c03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JJ4UL2BWY372BU22QLNL52SLPN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HAL 9000: a Risk Manager for ITSs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.OS"],"primary_cat":"cs.CR","authors_text":"Behnam Shariati, Carlos Novo, Ines Dutra, Joao Soares, Manuel E. Correia, Rolando Martins, Tadeu Freitas","submitted_at":"2023-11-15T23:36:14Z","abstract_excerpt":"HAL 9000 is an Intrusion Tolerant Systems (ITSs) Risk Manager, which assesses configuration risks against potential intrusions. It utilizes gathered threat knowledge and remains operational, even in the absence of updated information. Based on its advice, the ITSs can dynamically and proactively adapt to recent threats to minimize and mitigate future intrusions from malicious adversaries. Our goal is to reduce the risk linked to the exploitation of recently uncovered vulnerabilities that have not been classified and/or do not have a script to reproduce the exploit, considering the potential th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09449","kind":"arxiv","version":2},"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/2311.09449/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-05T10:36:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8JO/iH90Z3p8zAdTeHCDrc3/hvUHg1CH338Ieq8LrmORAeT+NE9+bK9NKbgKSZqV/hqLiFA8t8EcBoQxDiXqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:54:50.861888Z"},"content_sha256":"83877b711dcbc25624ecb5355c38e34733e676c90242819114387ea4cc68e4fd","schema_version":"1.0","event_id":"sha256:83877b711dcbc25624ecb5355c38e34733e676c90242819114387ea4cc68e4fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JJ4UL2BWY372BU22QLNL52SLPN/bundle.json","state_url":"https://pith.science/pith/JJ4UL2BWY372BU22QLNL52SLPN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JJ4UL2BWY372BU22QLNL52SLPN/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-07-09T06:54:50Z","links":{"resolver":"https://pith.science/pith/JJ4UL2BWY372BU22QLNL52SLPN","bundle":"https://pith.science/pith/JJ4UL2BWY372BU22QLNL52SLPN/bundle.json","state":"https://pith.science/pith/JJ4UL2BWY372BU22QLNL52SLPN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JJ4UL2BWY372BU22QLNL52SLPN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JJ4UL2BWY372BU22QLNL52SLPN","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":"6e1ae99f714cc38bc79538e6d58d5656b71195ee6b066850be8bd966b41802b5","cross_cats_sorted":["cs.AI","cs.OS"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-15T23:36:14Z","title_canon_sha256":"87b3b3ab8e93fd98409c18eb434c0b7d2151da4ee15dec189e66d854e0219e0f"},"schema_version":"1.0","source":{"id":"2311.09449","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09449","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09449v2","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09449","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_12","alias_value":"JJ4UL2BWY372","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_16","alias_value":"JJ4UL2BWY372BU22","created_at":"2026-07-05T10:36:22Z"},{"alias_kind":"pith_short_8","alias_value":"JJ4UL2BW","created_at":"2026-07-05T10:36:22Z"}],"graph_snapshots":[{"event_id":"sha256:83877b711dcbc25624ecb5355c38e34733e676c90242819114387ea4cc68e4fd","target":"graph","created_at":"2026-07-05T10:36:22Z","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/2311.09449/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"HAL 9000 is an Intrusion Tolerant Systems (ITSs) Risk Manager, which assesses configuration risks against potential intrusions. It utilizes gathered threat knowledge and remains operational, even in the absence of updated information. Based on its advice, the ITSs can dynamically and proactively adapt to recent threats to minimize and mitigate future intrusions from malicious adversaries. Our goal is to reduce the risk linked to the exploitation of recently uncovered vulnerabilities that have not been classified and/or do not have a script to reproduce the exploit, considering the potential th","authors_text":"Behnam Shariati, Carlos Novo, Ines Dutra, Joao Soares, Manuel E. Correia, Rolando Martins, Tadeu Freitas","cross_cats":["cs.AI","cs.OS"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-15T23:36:14Z","title":"HAL 9000: a Risk Manager for ITSs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09449","kind":"arxiv","version":2},"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:0326d09892d86377a7cc7e17b7e6db9c696c1e3ea2cd2f15729a4907726a1c03","target":"record","created_at":"2026-07-05T10:36:22Z","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":"6e1ae99f714cc38bc79538e6d58d5656b71195ee6b066850be8bd966b41802b5","cross_cats_sorted":["cs.AI","cs.OS"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-15T23:36:14Z","title_canon_sha256":"87b3b3ab8e93fd98409c18eb434c0b7d2151da4ee15dec189e66d854e0219e0f"},"schema_version":"1.0","source":{"id":"2311.09449","kind":"arxiv","version":2}},"canonical_sha256":"4a7945e836c6ffa0d35a82dabeea4b7b558a45b7ed7b747dcba0fde15c6c3a76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a7945e836c6ffa0d35a82dabeea4b7b558a45b7ed7b747dcba0fde15c6c3a76","first_computed_at":"2026-07-05T10:36:22.091984Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:36:22.091984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jKojREeXMvQ7ONgO8xnG1eALU+axaec73Mp0aKkTWJchdC9oXlgnn+pnl+pg1X1KzNGwEOPD6AyIkGxkxmBiBw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:36:22.092762Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.09449","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0326d09892d86377a7cc7e17b7e6db9c696c1e3ea2cd2f15729a4907726a1c03","sha256:83877b711dcbc25624ecb5355c38e34733e676c90242819114387ea4cc68e4fd"],"state_sha256":"91b9f5ce61d4dedc65b0d20681d79bb5723fdbb147b80ebc69fbb25b1c60a409"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+VzzNWlmQeo0G12n6eqdGRV+/wQaVGDVnFeCapzFJwy+app23rKzCC4hNKI8OMb6UZYaZ1AM6GsQI9Lp9qDhDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T06:54:50.864561Z","bundle_sha256":"bc31bf6f22111c3439771121b4aff4240241e20bff653604f70a13f8664db6cc"}}