{"id":"W2534729944","doi":"10.1109/icfem.1997.630399","title":"Formal automatic verification of authentication cryptographic protocols","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Cryptographic protocol; Authentication protocol; Theoretical computer science; Protocol (science); Cryptography; Schema (genetic algorithms); Cryptographic primitive; Gas meter prover; Automated theorem proving; Authentication (law); Algorithm; Computer security; Mathematics; Mathematical proof; Information retrieval","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.006242646,0.0009642412,0.0007383343,0.001246377,0.001236466,0.002293969,0.002511871,0.001452323,0.002799571],"category_scores_gemma":[0.01485538,0.000817703,0.002499588,0.00106606,0.004593628,0.005384284,0.00271892,0.003129893,0.0009266082],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001464846,"about_ca_system_score_gemma":0.002946597,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001052379,"about_ca_topic_score_gemma":0.0008593299,"domain_scores_codex":[0.99106,0.003417171,0.0007385684,0.0007917771,0.003503866,0.0004886196],"domain_scores_gemma":[0.9860801,0.007923322,0.0009424161,0.003304337,0.001627754,0.0001221837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002282027,0.0002740595,0.00126971,0.0008902524,0.0001863641,0.0006730541,0.001204521,0.08301327,0.02999365,0.7229779,0.002759106,0.15653],"study_design_scores_gemma":[0.0002207551,0.000189391,0.0003085845,0.0001583504,0.0001835072,0.0006456515,0.0001019198,0.4329339,0.06814674,0.4682945,0.028716,0.0001006473],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005234586,0.0001209912,0.9922194,0.0001639759,0.00003245953,0.000103544,0.00005307301,0.001162311,0.0009095955],"genre_scores_gemma":[0.1941397,0.0005040094,0.8019769,0.0001902191,0.00009926692,0.0003683235,0.0004347757,0.0003372093,0.001949566],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006242646,"threshold_uncertainty_score":0.03301466,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03433805896602606,"score_gpt":0.2876209015276854,"score_spread":0.2532828425616593,"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."}}