{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:GTH326C4Z6LNI5WPIIMXF5FH4B","short_pith_number":"pith:GTH326C4","canonical_record":{"source":{"id":"1405.7475","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-29T06:42:11Z","cross_cats_sorted":[],"title_canon_sha256":"a69666468199c7144086755064119269bb90dc6c53169793533e9cc8c4d5f577","abstract_canon_sha256":"c5cb063ef57ed4f56948e4d7115fd39d4365e6d74bec847fc060de3f4a64d006"},"schema_version":"1.0"},"canonical_sha256":"34cfbd785ccf96d476cf421972f4a7e046a167ba94d39ae83a31f6f6a4dec69e","source":{"kind":"arxiv","id":"1405.7475","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7475","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7475v1","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7475","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"pith_short_12","alias_value":"GTH326C4Z6LN","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GTH326C4Z6LNI5WP","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GTH326C4","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:GTH326C4Z6LNI5WPIIMXF5FH4B","target":"record","payload":{"canonical_record":{"source":{"id":"1405.7475","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-29T06:42:11Z","cross_cats_sorted":[],"title_canon_sha256":"a69666468199c7144086755064119269bb90dc6c53169793533e9cc8c4d5f577","abstract_canon_sha256":"c5cb063ef57ed4f56948e4d7115fd39d4365e6d74bec847fc060de3f4a64d006"},"schema_version":"1.0"},"canonical_sha256":"34cfbd785ccf96d476cf421972f4a7e046a167ba94d39ae83a31f6f6a4dec69e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:51.179732Z","signature_b64":"w47opKi1azNdPaGHQDxnSriLiYqzKdyH1y09By0bQZZ2h06TZbdq2jS49wRxx+pSWtnSyI80BcIIdmiMwr05Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34cfbd785ccf96d476cf421972f4a7e046a167ba94d39ae83a31f6f6a4dec69e","last_reissued_at":"2026-05-18T02:50:51.179246Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:51.179246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.7475","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:50:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hJ09Ctprj/0AwuVSsGAGO3mFeKbcOURNd4UUY4En2stzH0J+qL7Y9OwnU6jcMsOWMjv0AH+n07rVElayEGx9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:38:51.997228Z"},"content_sha256":"b532a5a01ea0f0c91521006f1ac3f913de2ddaa07feccdb92fcbf3d7076ef8cd","schema_version":"1.0","event_id":"sha256:b532a5a01ea0f0c91521006f1ac3f913de2ddaa07feccdb92fcbf3d7076ef8cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:GTH326C4Z6LNI5WPIIMXF5FH4B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Generation of Security Argument Graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"An Hoa Vu, Binbin Chen, David M. Nicol, Nils Ole Tippenhauer, William G. Temple, William H. Sanders, Zbigniew Kalbarczyk","submitted_at":"2014-05-29T06:42:11Z","abstract_excerpt":"Graph-based assessment formalisms have proven to be useful in the safety, dependability, and security communities to help stakeholders manage risk and maintain appropriate documentation throughout the system lifecycle. In this paper, we propose a set of methods to automatically construct security argument graphs, a graphical formalism that integrates various security-related information to argue about the security level of a system. Our approach is to generate the graph in a progressive manner by exploiting logical relationships among pieces of diverse input information. Using those emergent a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7475","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:50:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"18enSliHxz0AQm6xo+CfAfwfOdmLdjJ68F085DP/0dTmmgcV1PRbQFM/Jj/ogz6cdRywxeqZF05sxQ6kXyqtAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:38:51.997894Z"},"content_sha256":"ffa7126ec5bf0a33f27f4998727128a74bec164f236de24c5fb84ef0545368cf","schema_version":"1.0","event_id":"sha256:ffa7126ec5bf0a33f27f4998727128a74bec164f236de24c5fb84ef0545368cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/bundle.json","state_url":"https://pith.science/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/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-05-26T01:38:51Z","links":{"resolver":"https://pith.science/pith/GTH326C4Z6LNI5WPIIMXF5FH4B","bundle":"https://pith.science/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/bundle.json","state":"https://pith.science/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GTH326C4Z6LNI5WPIIMXF5FH4B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:GTH326C4Z6LNI5WPIIMXF5FH4B","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":"c5cb063ef57ed4f56948e4d7115fd39d4365e6d74bec847fc060de3f4a64d006","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-29T06:42:11Z","title_canon_sha256":"a69666468199c7144086755064119269bb90dc6c53169793533e9cc8c4d5f577"},"schema_version":"1.0","source":{"id":"1405.7475","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7475","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7475v1","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7475","created_at":"2026-05-18T02:50:51Z"},{"alias_kind":"pith_short_12","alias_value":"GTH326C4Z6LN","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GTH326C4Z6LNI5WP","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GTH326C4","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:ffa7126ec5bf0a33f27f4998727128a74bec164f236de24c5fb84ef0545368cf","target":"graph","created_at":"2026-05-18T02:50:51Z","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":"Graph-based assessment formalisms have proven to be useful in the safety, dependability, and security communities to help stakeholders manage risk and maintain appropriate documentation throughout the system lifecycle. In this paper, we propose a set of methods to automatically construct security argument graphs, a graphical formalism that integrates various security-related information to argue about the security level of a system. Our approach is to generate the graph in a progressive manner by exploiting logical relationships among pieces of diverse input information. Using those emergent a","authors_text":"An Hoa Vu, Binbin Chen, David M. Nicol, Nils Ole Tippenhauer, William G. Temple, William H. Sanders, Zbigniew Kalbarczyk","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-29T06:42:11Z","title":"Automatic Generation of Security Argument Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7475","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:b532a5a01ea0f0c91521006f1ac3f913de2ddaa07feccdb92fcbf3d7076ef8cd","target":"record","created_at":"2026-05-18T02:50:51Z","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":"c5cb063ef57ed4f56948e4d7115fd39d4365e6d74bec847fc060de3f4a64d006","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-29T06:42:11Z","title_canon_sha256":"a69666468199c7144086755064119269bb90dc6c53169793533e9cc8c4d5f577"},"schema_version":"1.0","source":{"id":"1405.7475","kind":"arxiv","version":1}},"canonical_sha256":"34cfbd785ccf96d476cf421972f4a7e046a167ba94d39ae83a31f6f6a4dec69e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34cfbd785ccf96d476cf421972f4a7e046a167ba94d39ae83a31f6f6a4dec69e","first_computed_at":"2026-05-18T02:50:51.179246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:51.179246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w47opKi1azNdPaGHQDxnSriLiYqzKdyH1y09By0bQZZ2h06TZbdq2jS49wRxx+pSWtnSyI80BcIIdmiMwr05Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:51.179732Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.7475","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b532a5a01ea0f0c91521006f1ac3f913de2ddaa07feccdb92fcbf3d7076ef8cd","sha256:ffa7126ec5bf0a33f27f4998727128a74bec164f236de24c5fb84ef0545368cf"],"state_sha256":"f3e95c0a92758955b2f5921fc1637803a850fb5598a6ce51ea6efae0a0a540bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"79plAqS3bWqPObCiOIpzqVLzjMzxjOKRBc2CXYbzaQhutDHexvI0yB2sVvFI+tREvdv3AV7tkhi0bO2Lk5DLDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T01:38:52.001599Z","bundle_sha256":"149ca18b7e553a5341471f236015e02d2c1e99a2d390fd30a561b507836c873c"}}