{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FVWR4TOIWHOZN26DQ5PJWSSRQT","short_pith_number":"pith:FVWR4TOI","canonical_record":{"source":{"id":"2406.00620","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-06-02T05:44:32Z","cross_cats_sorted":[],"title_canon_sha256":"25731c268543d474a56a005b0168228f1a515c0f0a9afcc3f52d8c32e98018b8","abstract_canon_sha256":"f9b9dfd5489605a74e46e7160d135e1eccfd1fc525d1dbcaab7813f52767fe9d"},"schema_version":"1.0"},"canonical_sha256":"2d6d1e4dc8b1dd96ebc3875e9b4a5184c4cac2104aa047c34fae7045e5d02834","source":{"kind":"arxiv","id":"2406.00620","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00620","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00620v1","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00620","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_12","alias_value":"FVWR4TOIWHOZ","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FVWR4TOIWHOZN26D","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FVWR4TOI","created_at":"2026-07-05T08:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FVWR4TOIWHOZN26DQ5PJWSSRQT","target":"record","payload":{"canonical_record":{"source":{"id":"2406.00620","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-06-02T05:44:32Z","cross_cats_sorted":[],"title_canon_sha256":"25731c268543d474a56a005b0168228f1a515c0f0a9afcc3f52d8c32e98018b8","abstract_canon_sha256":"f9b9dfd5489605a74e46e7160d135e1eccfd1fc525d1dbcaab7813f52767fe9d"},"schema_version":"1.0"},"canonical_sha256":"2d6d1e4dc8b1dd96ebc3875e9b4a5184c4cac2104aa047c34fae7045e5d02834","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:26:28.237372Z","signature_b64":"PYLtorVlxLcteVKAFjFb83Jp5d+cqDNnOVzLcZC44FlU2Tnc0bNNtCPu/wneiCiI38JUiwaZrwOTwzHOEoVGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d6d1e4dc8b1dd96ebc3875e9b4a5184c4cac2104aa047c34fae7045e5d02834","last_reissued_at":"2026-07-05T08:26:28.236838Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:26:28.236838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.00620","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-07-05T08:26:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"geFNEiSZl2WQqpeJWcaUu76trvEOL/p3lN0j5WvE4JdMxrJ3Z7iQSQpBl2GF7hjFKPLOtDPQg1z7XRejLrpfBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:11:55.311541Z"},"content_sha256":"37497d59686d9ae6af341dc3dbb8f13acdb63f1b594c6e71eec3c99aa1717eca","schema_version":"1.0","event_id":"sha256:37497d59686d9ae6af341dc3dbb8f13acdb63f1b594c6e71eec3c99aa1717eca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FVWR4TOIWHOZN26DQ5PJWSSRQT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model-Driven Security Analysis of Self-Sovereign Identity Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Hiroyuki Sato, Yepeng Ding","submitted_at":"2024-06-02T05:44:32Z","abstract_excerpt":"Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference, which significantly boosts productivity and increases the dependability of future implementations. For security-sensitive projects, architects make architectural decisions with careful consideration of security issues and solutions based on formal analysis and experiment results. In this paper, we propose a model-driven security analysis framework for analy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00620","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.00620/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-05T08:26:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SIpGWCGikOJ1l0KRxIRk1gAULEJ1GEAyjmTuwGdY0SjJI6DrouWQbcXfygJQKQ19E1R0IORflnkIIVx90v3oAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:11:55.311915Z"},"content_sha256":"5650e978a2e61cea74b4a068379a3575e2c7b2fdbc9688f2574ea3e062a278c4","schema_version":"1.0","event_id":"sha256:5650e978a2e61cea74b4a068379a3575e2c7b2fdbc9688f2574ea3e062a278c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/bundle.json","state_url":"https://pith.science/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/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-06T08:11:55Z","links":{"resolver":"https://pith.science/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT","bundle":"https://pith.science/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/bundle.json","state":"https://pith.science/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FVWR4TOIWHOZN26DQ5PJWSSRQT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FVWR4TOIWHOZN26DQ5PJWSSRQT","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":"f9b9dfd5489605a74e46e7160d135e1eccfd1fc525d1dbcaab7813f52767fe9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-06-02T05:44:32Z","title_canon_sha256":"25731c268543d474a56a005b0168228f1a515c0f0a9afcc3f52d8c32e98018b8"},"schema_version":"1.0","source":{"id":"2406.00620","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00620","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00620v1","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00620","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_12","alias_value":"FVWR4TOIWHOZ","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FVWR4TOIWHOZN26D","created_at":"2026-07-05T08:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FVWR4TOI","created_at":"2026-07-05T08:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:5650e978a2e61cea74b4a068379a3575e2c7b2fdbc9688f2574ea3e062a278c4","target":"graph","created_at":"2026-07-05T08:26:28Z","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/2406.00620/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference, which significantly boosts productivity and increases the dependability of future implementations. For security-sensitive projects, architects make architectural decisions with careful consideration of security issues and solutions based on formal analysis and experiment results. In this paper, we propose a model-driven security analysis framework for analy","authors_text":"Hiroyuki Sato, Yepeng Ding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-06-02T05:44:32Z","title":"Model-Driven Security Analysis of Self-Sovereign Identity Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00620","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:37497d59686d9ae6af341dc3dbb8f13acdb63f1b594c6e71eec3c99aa1717eca","target":"record","created_at":"2026-07-05T08:26:28Z","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":"f9b9dfd5489605a74e46e7160d135e1eccfd1fc525d1dbcaab7813f52767fe9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-06-02T05:44:32Z","title_canon_sha256":"25731c268543d474a56a005b0168228f1a515c0f0a9afcc3f52d8c32e98018b8"},"schema_version":"1.0","source":{"id":"2406.00620","kind":"arxiv","version":1}},"canonical_sha256":"2d6d1e4dc8b1dd96ebc3875e9b4a5184c4cac2104aa047c34fae7045e5d02834","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d6d1e4dc8b1dd96ebc3875e9b4a5184c4cac2104aa047c34fae7045e5d02834","first_computed_at":"2026-07-05T08:26:28.236838Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:26:28.236838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYLtorVlxLcteVKAFjFb83Jp5d+cqDNnOVzLcZC44FlU2Tnc0bNNtCPu/wneiCiI38JUiwaZrwOTwzHOEoVGAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:26:28.237372Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.00620","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37497d59686d9ae6af341dc3dbb8f13acdb63f1b594c6e71eec3c99aa1717eca","sha256:5650e978a2e61cea74b4a068379a3575e2c7b2fdbc9688f2574ea3e062a278c4"],"state_sha256":"2de88d6e0a124615dd24ff8a828ef3f2249d3fb17cece679fdf15bc0a4e84b6d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LJUGISKiVRzIt5fF+TPm9a9kqLhxz7jIysKYzBd9R+3b0Hef23kbSVveewEap9l2vpVufy4INlgVi1F9SbeYBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T08:11:55.313898Z","bundle_sha256":"232bfee72a815f07525a18f524e6fd9f85d045eb3279fd3a483d5464236aae4d"}}