{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:57HF4DHZNH5Y5KCDYKGRMGFWAZ","short_pith_number":"pith:57HF4DHZ","canonical_record":{"source":{"id":"1904.01758","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-03T04:19:18Z","cross_cats_sorted":[],"title_canon_sha256":"0b1683ac7490f1e5810c3811de3a53febda928be02600f5a13a1386c25b7a71f","abstract_canon_sha256":"ab64c5ae59defb2b3243bc3ab3d0a7802b8567ef4f87ecb8c0003fc962f1266e"},"schema_version":"1.0"},"canonical_sha256":"efce5e0cf969fb8ea843c28d1618b60648377aff22dbeae8e09bf6ff9f0179a8","source":{"kind":"arxiv","id":"1904.01758","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01758","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01758v1","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01758","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"pith_short_12","alias_value":"57HF4DHZNH5Y","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57HF4DHZNH5Y5KCD","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57HF4DHZ","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:57HF4DHZNH5Y5KCDYKGRMGFWAZ","target":"record","payload":{"canonical_record":{"source":{"id":"1904.01758","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-03T04:19:18Z","cross_cats_sorted":[],"title_canon_sha256":"0b1683ac7490f1e5810c3811de3a53febda928be02600f5a13a1386c25b7a71f","abstract_canon_sha256":"ab64c5ae59defb2b3243bc3ab3d0a7802b8567ef4f87ecb8c0003fc962f1266e"},"schema_version":"1.0"},"canonical_sha256":"efce5e0cf969fb8ea843c28d1618b60648377aff22dbeae8e09bf6ff9f0179a8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:29.778113Z","signature_b64":"tfOoQqIVKfxzed503+2bKs+PIyz52dbLUXm+4s0PWcVoL7IDbBfIQPENK/Ov/YjYC6oKejmbelkaNBomdvtCAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efce5e0cf969fb8ea843c28d1618b60648377aff22dbeae8e09bf6ff9f0179a8","last_reissued_at":"2026-05-17T23:49:29.777418Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:29.777418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.01758","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-17T23:49:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T19i7c6nATg+bJ/7QU5TTao7PQeL5HW6SzGqUR2FChqdERHiZQyqSBcJUqm8DHMcHmthGJ+U5Erd00R6IuxoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:08:17.060426Z"},"content_sha256":"6724656a8e44ae799f518e477b6cf74c36bb4cd2a740fea16489193139217f47","schema_version":"1.0","event_id":"sha256:6724656a8e44ae799f518e477b6cf74c36bb4cd2a740fea16489193139217f47"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:57HF4DHZNH5Y5KCDYKGRMGFWAZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Automated Security Analysis Framework and Implementation for Cloud","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dong Seong Kim, Hooman Alavizadeh, Hootan Alavizadeh, Julian Jang-Jaccard, Masood Niazi Torshiz","submitted_at":"2019-04-03T04:19:18Z","abstract_excerpt":"Cloud service providers offer their customers with on-demand and cost-effective services, scalable computing, and network infrastructures. Enterprises migrate their services to the cloud to utilize the benefit of cloud computing such as eliminating the capital expense of their computing need. There are security vulnerabilities and threats in the cloud. Many researches have been proposed to analyze the cloud security using Graphical Security Models (GSMs) and security metrics. In addition, it has been widely researched in finding appropriate defensive strategies for the security of the cloud. M"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01758","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-17T23:49:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PnBB2yeaG4obIhyMTlcgBAZmx5DkFQiGpNQPddk9Pnq8kEzUldbtZEPt2drZa++W5lVamfqLrsfJPvuaoahhAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:08:17.061152Z"},"content_sha256":"591e9dac248a8fffb209018684c89922fbc7bb2f33ed35b9f466e43ef3316490","schema_version":"1.0","event_id":"sha256:591e9dac248a8fffb209018684c89922fbc7bb2f33ed35b9f466e43ef3316490"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/bundle.json","state_url":"https://pith.science/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/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-09T19:08:17Z","links":{"resolver":"https://pith.science/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ","bundle":"https://pith.science/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/bundle.json","state":"https://pith.science/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57HF4DHZNH5Y5KCDYKGRMGFWAZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:57HF4DHZNH5Y5KCDYKGRMGFWAZ","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":"ab64c5ae59defb2b3243bc3ab3d0a7802b8567ef4f87ecb8c0003fc962f1266e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-03T04:19:18Z","title_canon_sha256":"0b1683ac7490f1e5810c3811de3a53febda928be02600f5a13a1386c25b7a71f"},"schema_version":"1.0","source":{"id":"1904.01758","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01758","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01758v1","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01758","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"pith_short_12","alias_value":"57HF4DHZNH5Y","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57HF4DHZNH5Y5KCD","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57HF4DHZ","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:591e9dac248a8fffb209018684c89922fbc7bb2f33ed35b9f466e43ef3316490","target":"graph","created_at":"2026-05-17T23:49:29Z","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":"Cloud service providers offer their customers with on-demand and cost-effective services, scalable computing, and network infrastructures. Enterprises migrate their services to the cloud to utilize the benefit of cloud computing such as eliminating the capital expense of their computing need. There are security vulnerabilities and threats in the cloud. Many researches have been proposed to analyze the cloud security using Graphical Security Models (GSMs) and security metrics. In addition, it has been widely researched in finding appropriate defensive strategies for the security of the cloud. M","authors_text":"Dong Seong Kim, Hooman Alavizadeh, Hootan Alavizadeh, Julian Jang-Jaccard, Masood Niazi Torshiz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-03T04:19:18Z","title":"An Automated Security Analysis Framework and Implementation for Cloud"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01758","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:6724656a8e44ae799f518e477b6cf74c36bb4cd2a740fea16489193139217f47","target":"record","created_at":"2026-05-17T23:49:29Z","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":"ab64c5ae59defb2b3243bc3ab3d0a7802b8567ef4f87ecb8c0003fc962f1266e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-03T04:19:18Z","title_canon_sha256":"0b1683ac7490f1e5810c3811de3a53febda928be02600f5a13a1386c25b7a71f"},"schema_version":"1.0","source":{"id":"1904.01758","kind":"arxiv","version":1}},"canonical_sha256":"efce5e0cf969fb8ea843c28d1618b60648377aff22dbeae8e09bf6ff9f0179a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efce5e0cf969fb8ea843c28d1618b60648377aff22dbeae8e09bf6ff9f0179a8","first_computed_at":"2026-05-17T23:49:29.777418Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:29.777418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tfOoQqIVKfxzed503+2bKs+PIyz52dbLUXm+4s0PWcVoL7IDbBfIQPENK/Ov/YjYC6oKejmbelkaNBomdvtCAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:29.778113Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.01758","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6724656a8e44ae799f518e477b6cf74c36bb4cd2a740fea16489193139217f47","sha256:591e9dac248a8fffb209018684c89922fbc7bb2f33ed35b9f466e43ef3316490"],"state_sha256":"1cb9461bcb1fa5a7b6edf010ce7127de3d72193d257d3a2f29073465e1eefdd1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XzD0t+00tSsF/wRV0bBRdQzp9ZM638vjycc6hSZOi5MbCFqnkJ1eyrCSH1yWFIq6V2Seu1aL3QFN2T9PQHlBAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T19:08:17.064141Z","bundle_sha256":"ae49dbd9be8e18b49a4eb1993e951501f9a2f6e3f6b40ba78921918e1fa62d99"}}