{"id":"W2384659701","doi":"","title":"Secure Analysis and Improvement of Yahalom Protocol","year":2005,"lang":"en","type":"article","venue":"Microcomputer Development","topic":"Mobile Agent-Based Network Management","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"L'Alliance Boviteq","funders":"","keywords":"Computer science; Protocol (science); Vulnerability (computing); Computer security; Reflection attack; Computer network; Protocol analysis; Otway–Rees protocol; Authentication protocol; Authentication (law); Challenge-Handshake Authentication Protocol","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":[],"consensus_categories":[],"category_scores_codex":[0.0003862443,0.0002521537,0.0003270102,0.0003991457,0.00009555384,0.0001254475,0.000780385,0.00005019754,0.00003989026],"category_scores_gemma":[7.446653e-7,0.0002300955,0.00009445975,0.0008469407,0.00003094707,0.000230788,0.001085672,0.00009110995,0.00002705004],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001776406,"about_ca_system_score_gemma":0.0001310202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001183587,"about_ca_topic_score_gemma":0.00004658766,"domain_scores_codex":[0.9979721,0.00003492687,0.0006160811,0.0006410223,0.0003562672,0.0003796515],"domain_scores_gemma":[0.9989763,0.00002600943,0.0002290021,0.0005586843,0.00008604325,0.0001239086],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009143443,0.0002093985,0.001469023,0.0001211583,0.0006728789,0.000009356335,0.001506097,0.001486003,0.002092414,0.001999124,0.0027693,0.9876561],"study_design_scores_gemma":[0.00133193,0.0001343482,0.01556954,0.00005211517,0.00007197483,0.000004028069,0.00001307994,0.02663404,0.09460715,0.00006792512,0.8609772,0.0005366116],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01323451,0.00003354331,0.9663478,0.0003737545,0.00004422842,0.01942311,9.706846e-7,0.0001158111,0.0004262807],"genre_scores_gemma":[0.08099698,0.000003302928,0.8986772,0.0009369915,0.0000788397,0.01897117,0.000007557876,0.00001433266,0.0003136014],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9871195,"threshold_uncertainty_score":0.9383023,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005424337603334183,"score_gpt":0.2191417307203956,"score_spread":0.2137173931170614,"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."}}