{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:FQPADGZKLZZDL2IPH453W6BUQG","short_pith_number":"pith:FQPADGZK","schema_version":"1.0","canonical_sha256":"2c1e019b2a5e7235e90f3f3bbb783481a8d05f8e407ba7130cf08e9e04d73016","source":{"kind":"arxiv","id":"1105.1376","version":1},"attestation_state":"computed","paper":{"title":"Finitary Deduction Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yannick Chevalier (IRIT)","submitted_at":"2011-05-06T20:01:26Z","abstract_excerpt":"Cryptographic protocols are the cornerstone of security in distributed systems. The formal analysis of their properties is accordingly one of the focus points of the security community, and is usually split among two groups. In the first group, one focuses on trace-based security properties such as confidentiality and authentication, and provides decision procedures for the existence of attacks for an on-line attackers. In the second group, one focuses on equivalence properties such as privacy and guessing attacks, and provides decision procedures for the existence of attacks for an offline at"},"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":"1105.1376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-06T20:01:26Z","cross_cats_sorted":[],"title_canon_sha256":"b6f4748b710a96dbed5e0d2734a2a560fbc2c68b698dd934907c3b39a3744e19","abstract_canon_sha256":"105429a5dcd38e31846c6a2b19b6074969c257d082f31bd0e2ae8b68adb49916"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:22:39.596119Z","signature_b64":"TGsptDSXDGUymlSqwbms2tWXj2j7h79LBj4TSPuuxbOJaUTuCbcsjs+hXX97jxhbhTVCbXapeUbzQbkfeV7kDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c1e019b2a5e7235e90f3f3bbb783481a8d05f8e407ba7130cf08e9e04d73016","last_reissued_at":"2026-05-18T04:22:39.595688Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:22:39.595688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Finitary Deduction Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yannick Chevalier (IRIT)","submitted_at":"2011-05-06T20:01:26Z","abstract_excerpt":"Cryptographic protocols are the cornerstone of security in distributed systems. The formal analysis of their properties is accordingly one of the focus points of the security community, and is usually split among two groups. In the first group, one focuses on trace-based security properties such as confidentiality and authentication, and provides decision procedures for the existence of attacks for an on-line attackers. In the second group, one focuses on equivalence properties such as privacy and guessing attacks, and provides decision procedures for the existence of attacks for an offline at"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.1376","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1105.1376","created_at":"2026-05-18T04:22:39.595742+00:00"},{"alias_kind":"arxiv_version","alias_value":"1105.1376v1","created_at":"2026-05-18T04:22:39.595742+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.1376","created_at":"2026-05-18T04:22:39.595742+00:00"},{"alias_kind":"pith_short_12","alias_value":"FQPADGZKLZZD","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_16","alias_value":"FQPADGZKLZZDL2IP","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_8","alias_value":"FQPADGZK","created_at":"2026-05-18T12:26:28.662955+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/FQPADGZKLZZDL2IPH453W6BUQG","json":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG.json","graph_json":"https://pith.science/api/pith-number/FQPADGZKLZZDL2IPH453W6BUQG/graph.json","events_json":"https://pith.science/api/pith-number/FQPADGZKLZZDL2IPH453W6BUQG/events.json","paper":"https://pith.science/paper/FQPADGZK"},"agent_actions":{"view_html":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG","download_json":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG.json","view_paper":"https://pith.science/paper/FQPADGZK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1105.1376&json=true","fetch_graph":"https://pith.science/api/pith-number/FQPADGZKLZZDL2IPH453W6BUQG/graph.json","fetch_events":"https://pith.science/api/pith-number/FQPADGZKLZZDL2IPH453W6BUQG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG/action/storage_attestation","attest_author":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG/action/author_attestation","sign_citation":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG/action/citation_signature","submit_replication":"https://pith.science/pith/FQPADGZKLZZDL2IPH453W6BUQG/action/replication_record"}},"created_at":"2026-05-18T04:22:39.595742+00:00","updated_at":"2026-05-18T04:22:39.595742+00:00"}