{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:D2PV5N7O22YHUJLES6TEJDMQJH","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":"f3cabd60a9fff5bdafda1c24edbea8c88f3d7426c01b1a8dd3f49306a6ac6f70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T05:01:08Z","title_canon_sha256":"1ef3fe90b447571346a98bf54dbe27781b43a444af90ac02026205e445307658"},"schema_version":"1.0","source":{"id":"1705.00128","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00128","created_at":"2026-05-18T00:45:21Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00128v1","created_at":"2026-05-18T00:45:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00128","created_at":"2026-05-18T00:45:21Z"},{"alias_kind":"pith_short_12","alias_value":"D2PV5N7O22YH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"D2PV5N7O22YHUJLE","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"D2PV5N7O","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:9570d46a376bc40978b252eddfc7394a09888f62f6b9a8049680dcd11f35cb4b","target":"graph","created_at":"2026-05-18T00:45:21Z","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":"In most of modern enterprise systems, redundancy configuration is often considered to provide availability during the part of such systems is being patched. However, the redundancy may increase the attack surface of the system. In this paper, we model and assess the security and capacity oriented availability of multiple server redundancy designs when applying security patches to the servers. We construct (1) a graphical security model to evaluate the security under potential attacks before and after applying patches, (2) a stochastic reward net model to assess the capacity oriented availabili","authors_text":"Dong Seong Kim, Huy Kang Kim, Mengmeng Ge","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T05:01:08Z","title":"Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00128","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:3faff3fdcb356d3dc565862e2608e7f62d017f49e6a2b825aedde00ba5d3fc6b","target":"record","created_at":"2026-05-18T00:45:21Z","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":"f3cabd60a9fff5bdafda1c24edbea8c88f3d7426c01b1a8dd3f49306a6ac6f70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T05:01:08Z","title_canon_sha256":"1ef3fe90b447571346a98bf54dbe27781b43a444af90ac02026205e445307658"},"schema_version":"1.0","source":{"id":"1705.00128","kind":"arxiv","version":1}},"canonical_sha256":"1e9f5eb7eed6b07a256497a6448d9049cfc278591cfb05475bec872aa2c16025","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e9f5eb7eed6b07a256497a6448d9049cfc278591cfb05475bec872aa2c16025","first_computed_at":"2026-05-18T00:45:21.379730Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:21.379730Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"icIp7zyFUudHVf70S6E5d3EZ4aNYJbIg12u9x2d6uGFyG4uecbYyTJJtGBDwPoAyQmPt0g5tYAswzEupf0IGBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:21.380278Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.00128","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3faff3fdcb356d3dc565862e2608e7f62d017f49e6a2b825aedde00ba5d3fc6b","sha256:9570d46a376bc40978b252eddfc7394a09888f62f6b9a8049680dcd11f35cb4b"],"state_sha256":"3f1629f0de3bff291f80bd68b312218b0600e1181aaf740de53e4f0e4b5490fa"}