{"id":"W88494997","doi":"","title":"A Decision Procedure for Structured Cryptographic Protocols","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval; Carleton University","funders":"","keywords":"Cryptographic protocol; Decidability; Computer science; Cryptography; Cryptographic primitive; Protocol (science); Theoretical computer science; Secrecy; Inference; Set (abstract data type); Process (computing); Computer security; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001019086,0.0002985513,0.000430569,0.0004672311,0.0001281744,0.0002560013,0.0008785474,0.0002730441,0.00001029134],"category_scores_gemma":[0.001502842,0.0002512629,0.0001124859,0.001009447,0.0001092024,0.0007190866,0.000321298,0.0002493777,3.039192e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005399481,"about_ca_system_score_gemma":0.00008186216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003115488,"about_ca_topic_score_gemma":0.00006892497,"domain_scores_codex":[0.997794,0.0001878369,0.0005492978,0.0008054911,0.0002467301,0.0004166238],"domain_scores_gemma":[0.9974838,0.001358217,0.0002567359,0.0007108809,0.0001156244,0.00007473569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005372097,0.00003664709,0.001729951,0.00004657153,0.000003407832,0.000002207031,0.00005860879,0.000004939182,0.000674448,0.1404586,0.0006847723,0.8562462],"study_design_scores_gemma":[0.000597637,0.0002592067,0.01633694,0.0001187446,0.000004486542,0.00001491449,0.000004649332,0.0001048779,0.02561482,0.9382144,0.01843358,0.000295708],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002117324,0.0001374649,0.9789476,0.0002658607,0.00004699797,0.01884864,0.00002344197,0.001418328,0.00009998236],"genre_scores_gemma":[0.002332095,0.000008471705,0.9442077,0.0001082566,0.00006596114,0.05315302,0.00001524408,0.00002154493,0.00008767964],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8559504,"threshold_uncertainty_score":0.999994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1023144344607488,"score_gpt":0.4070395400225764,"score_spread":0.3047251055618275,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}