{"id":"W2158464066","doi":"10.1016/s1571-0661(03)50004-4","title":"Towards the Correctness of Security Protocols","year":2003,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Correctness; Cryptographic protocol; Secrecy; Protocol (science); Theoretical computer science; Mathematical proof; Completeness (order theory); Cryptographic primitive; Cryptography; Type safety; Computer security; Programming language; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02176085,0.001417919,0.001581233,0.002405137,0.002934487,0.006296829,0.004128608,0.005224776,0.004201514],"category_scores_gemma":[0.04830686,0.00229814,0.003704851,0.001661467,0.01659627,0.01755332,0.01173989,0.01647885,0.002803385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003384413,"about_ca_system_score_gemma":0.005822855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002283822,"about_ca_topic_score_gemma":0.001194046,"domain_scores_codex":[0.9649392,0.01386247,0.002344203,0.003519293,0.01323022,0.002104677],"domain_scores_gemma":[0.9561017,0.01902982,0.001827022,0.01329252,0.009057407,0.000691485],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005838132,0.00003579782,0.0003108818,0.0001847061,0.0000326605,0.000122147,0.0009133673,0.004767359,0.001766808,0.9769056,0.001401837,0.01350058],"study_design_scores_gemma":[0.00005155566,0.00004159521,0.0001103655,0.00009765098,0.00003450673,0.0000986961,0.0001452658,0.02605302,0.005782758,0.949451,0.01810896,0.00002450044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005433189,0.0004568851,0.9824637,0.002417032,0.0002033098,0.0001505138,0.00008819201,0.0006130222,0.008174144],"genre_scores_gemma":[0.2566502,0.001794442,0.7290528,0.00190165,0.0006177175,0.0005213642,0.0006152353,0.0007795176,0.008067138],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02176085,"threshold_uncertainty_score":0.1150838,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01217210551762005,"score_gpt":0.3007531301020991,"score_spread":0.2885810245844791,"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."}}