{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:TCZYXJBWNTEFZVKM2ZINRQN3F5","short_pith_number":"pith:TCZYXJBW","canonical_record":{"source":{"id":"1201.1134","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-05T11:47:11Z","cross_cats_sorted":[],"title_canon_sha256":"cd91e688cde8b0bf4a7362203516fb41a670a0618166d21b63ff7179265bd042","abstract_canon_sha256":"399aa3af7e6b1979b61609432226512b5ab4e913b860a1a376a2132b3921b96c"},"schema_version":"1.0"},"canonical_sha256":"98b38ba4366cc85cd54cd650d8c1bb2f4a3e133820617a9d2dd11822bf609699","source":{"kind":"arxiv","id":"1201.1134","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.1134","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"arxiv_version","alias_value":"1201.1134v2","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.1134","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"pith_short_12","alias_value":"TCZYXJBWNTEF","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TCZYXJBWNTEFZVKM","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TCZYXJBW","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:TCZYXJBWNTEFZVKM2ZINRQN3F5","target":"record","payload":{"canonical_record":{"source":{"id":"1201.1134","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-05T11:47:11Z","cross_cats_sorted":[],"title_canon_sha256":"cd91e688cde8b0bf4a7362203516fb41a670a0618166d21b63ff7179265bd042","abstract_canon_sha256":"399aa3af7e6b1979b61609432226512b5ab4e913b860a1a376a2132b3921b96c"},"schema_version":"1.0"},"canonical_sha256":"98b38ba4366cc85cd54cd650d8c1bb2f4a3e133820617a9d2dd11822bf609699","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:46:15.209525Z","signature_b64":"re61Bh3GKwQ7Fc70OYCJ3bZCjjaE9YxEvPYaRyz0ySFVjSo+3FbN+BpEY/QQzJ7eJ7CFvgq78gnzoO52o5CNBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98b38ba4366cc85cd54cd650d8c1bb2f4a3e133820617a9d2dd11822bf609699","last_reissued_at":"2026-05-18T03:46:15.208899Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:46:15.208899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.1134","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-05-18T03:46:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GbVa9/4nL1fpsDxKDFIJ6pdVE8y2BbrCyGUP4LP2SF5rC+NcZg0kOw/UJLWVMtqTk2gfaVTUm/3n+Zd3fvKxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T20:28:29.677602Z"},"content_sha256":"4a3bd1176eb94c9913575bf031bb6c17b0eac3961327d1fbca4e4aa415e9a754","schema_version":"1.0","event_id":"sha256:4a3bd1176eb94c9913575bf031bb6c17b0eac3961327d1fbca4e4aa415e9a754"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:TCZYXJBWNTEFZVKM2ZINRQN3F5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal security analysis of registration protocols for interactive systems: a methodology and a case of study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"David Arroyo, Francisco B. Rodriguez, Jesus Diaz","submitted_at":"2012-01-05T11:47:11Z","abstract_excerpt":"In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a cryptographically robust solution to classical security issues. Namely, we focus on the secrecy and authenticity properties while keeping a high usability. In this sense, users are forced to blindly trust the system administrators and developers. Moreover, as far as we know, the use of formal methodologies for the verification of security properties of communication protocols isn't yet a common practice. We propose here a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.1134","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":""},"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-18T03:46:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z2P/Go+JhJDFn9MdEdwKL3nlD30MVUuz7lYIFfJpJdBd/PtBbW/tADZimkUg5zgWWoHSkAhXOTx1vjJRu0mRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T20:28:29.677964Z"},"content_sha256":"489332bad612919aa4f639b4ccc990b25e334ce5f2abb3d6315a0eefb137687d","schema_version":"1.0","event_id":"sha256:489332bad612919aa4f639b4ccc990b25e334ce5f2abb3d6315a0eefb137687d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/bundle.json","state_url":"https://pith.science/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/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-04T20:28:29Z","links":{"resolver":"https://pith.science/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5","bundle":"https://pith.science/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/bundle.json","state":"https://pith.science/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TCZYXJBWNTEFZVKM2ZINRQN3F5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TCZYXJBWNTEFZVKM2ZINRQN3F5","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":"399aa3af7e6b1979b61609432226512b5ab4e913b860a1a376a2132b3921b96c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-05T11:47:11Z","title_canon_sha256":"cd91e688cde8b0bf4a7362203516fb41a670a0618166d21b63ff7179265bd042"},"schema_version":"1.0","source":{"id":"1201.1134","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.1134","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"arxiv_version","alias_value":"1201.1134v2","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.1134","created_at":"2026-05-18T03:46:15Z"},{"alias_kind":"pith_short_12","alias_value":"TCZYXJBWNTEF","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TCZYXJBWNTEFZVKM","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TCZYXJBW","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:489332bad612919aa4f639b4ccc990b25e334ce5f2abb3d6315a0eefb137687d","target":"graph","created_at":"2026-05-18T03:46:15Z","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 this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a cryptographically robust solution to classical security issues. Namely, we focus on the secrecy and authenticity properties while keeping a high usability. In this sense, users are forced to blindly trust the system administrators and developers. Moreover, as far as we know, the use of formal methodologies for the verification of security properties of communication protocols isn't yet a common practice. We propose here a","authors_text":"David Arroyo, Francisco B. Rodriguez, Jesus Diaz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-05T11:47:11Z","title":"Formal security analysis of registration protocols for interactive systems: a methodology and a case of study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.1134","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:4a3bd1176eb94c9913575bf031bb6c17b0eac3961327d1fbca4e4aa415e9a754","target":"record","created_at":"2026-05-18T03:46:15Z","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":"399aa3af7e6b1979b61609432226512b5ab4e913b860a1a376a2132b3921b96c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-05T11:47:11Z","title_canon_sha256":"cd91e688cde8b0bf4a7362203516fb41a670a0618166d21b63ff7179265bd042"},"schema_version":"1.0","source":{"id":"1201.1134","kind":"arxiv","version":2}},"canonical_sha256":"98b38ba4366cc85cd54cd650d8c1bb2f4a3e133820617a9d2dd11822bf609699","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98b38ba4366cc85cd54cd650d8c1bb2f4a3e133820617a9d2dd11822bf609699","first_computed_at":"2026-05-18T03:46:15.208899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:46:15.208899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"re61Bh3GKwQ7Fc70OYCJ3bZCjjaE9YxEvPYaRyz0ySFVjSo+3FbN+BpEY/QQzJ7eJ7CFvgq78gnzoO52o5CNBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:46:15.209525Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.1134","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a3bd1176eb94c9913575bf031bb6c17b0eac3961327d1fbca4e4aa415e9a754","sha256:489332bad612919aa4f639b4ccc990b25e334ce5f2abb3d6315a0eefb137687d"],"state_sha256":"8d36813a7c8855fe8ced7f2b43bb613ac68a143a2c1d52954e27adcfe67789de"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ocP6O7C5kC1JpwkuGPp81jPdteQwOYrC/oHKYjj0WKejl+Aja5FcTDN3sHaS3jd/MlpMJgzf6mpFyYTwrU1Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T20:28:29.679983Z","bundle_sha256":"a8f6c5b4ee495d5a8ccf0a22a30a0160cc582963347f78b0aba405a87e0b049d"}}