{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:I4HLJQXRFRSGGZSUAMXA3TDPWL","short_pith_number":"pith:I4HLJQXR","schema_version":"1.0","canonical_sha256":"470eb4c2f12c64636654032e0dcc6fb2e9abcf351ae73f731b7434c8f9170d12","source":{"kind":"arxiv","id":"1201.5666","version":2},"attestation_state":"computed","paper":{"title":"A formal methodology for integral security design and verification of network protocols","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-26T22:30:20Z","abstract_excerpt":"We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and informal verification; and formal representation and procedural verification. It is an iterative process where the early steps are simpler than the last ones. Therefore, the effort required for detecting flaws is proportional to the complexity of the associated attack. Thus, we avoid wasting valuable resources for simple flaws that can be detected early in the verification process. In order to illustrate the advantages pro"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1201.5666","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-01-26T22:30:20Z","cross_cats_sorted":[],"title_canon_sha256":"bbd4a051ea97306dcba9e70207016f1d37d8301109157ccdf2d91ad6f610e6c9","abstract_canon_sha256":"7d2cc869ed27e43d5a0b47718eb4f18cd9bf8f89bd9777b2ee750962b3e34562"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:47.802670Z","signature_b64":"GANvVnJGP3MeER/TVyCO9YmQ5yXTGAHi5oMtqOhWZw1cdDkulXL+7jaYg7WxNQTAetDY5hVe1uLVfpRtPt+6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"470eb4c2f12c64636654032e0dcc6fb2e9abcf351ae73f731b7434c8f9170d12","last_reissued_at":"2026-05-18T03:08:47.802055Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:47.802055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A formal methodology for integral security design and verification of network protocols","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-26T22:30:20Z","abstract_excerpt":"We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and informal verification; and formal representation and procedural verification. It is an iterative process where the early steps are simpler than the last ones. Therefore, the effort required for detecting flaws is proportional to the complexity of the associated attack. Thus, we avoid wasting valuable resources for simple flaws that can be detected early in the verification process. In order to illustrate the advantages pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.5666","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1201.5666","created_at":"2026-05-18T03:08:47.802155+00:00"},{"alias_kind":"arxiv_version","alias_value":"1201.5666v2","created_at":"2026-05-18T03:08:47.802155+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.5666","created_at":"2026-05-18T03:08:47.802155+00:00"},{"alias_kind":"pith_short_12","alias_value":"I4HLJQXRFRSG","created_at":"2026-05-18T12:27:09.501522+00:00"},{"alias_kind":"pith_short_16","alias_value":"I4HLJQXRFRSGGZSU","created_at":"2026-05-18T12:27:09.501522+00:00"},{"alias_kind":"pith_short_8","alias_value":"I4HLJQXR","created_at":"2026-05-18T12:27:09.501522+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL","json":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL.json","graph_json":"https://pith.science/api/pith-number/I4HLJQXRFRSGGZSUAMXA3TDPWL/graph.json","events_json":"https://pith.science/api/pith-number/I4HLJQXRFRSGGZSUAMXA3TDPWL/events.json","paper":"https://pith.science/paper/I4HLJQXR"},"agent_actions":{"view_html":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL","download_json":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL.json","view_paper":"https://pith.science/paper/I4HLJQXR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1201.5666&json=true","fetch_graph":"https://pith.science/api/pith-number/I4HLJQXRFRSGGZSUAMXA3TDPWL/graph.json","fetch_events":"https://pith.science/api/pith-number/I4HLJQXRFRSGGZSUAMXA3TDPWL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL/action/storage_attestation","attest_author":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL/action/author_attestation","sign_citation":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL/action/citation_signature","submit_replication":"https://pith.science/pith/I4HLJQXRFRSGGZSUAMXA3TDPWL/action/replication_record"}},"created_at":"2026-05-18T03:08:47.802155+00:00","updated_at":"2026-05-18T03:08:47.802155+00:00"}