{"id":"W2136278061","doi":"10.1109/vtcf.2006.493","title":"Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard","year":2006,"lang":"en","type":"article","venue":"IEEE Vehicular Technology Conference","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Authentication protocol; Authentication (law); Lightweight Extensible Authentication Protocol; Protocol (science); Formal methods; Extensibility; Computer security; Computer network; Software engineering; Programming language","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.007129319,0.0007496793,0.0002988276,0.001378922,0.0008442778,0.002353269,0.001068774,0.0006389852,0.002412264],"category_scores_gemma":[0.01571383,0.0004245085,0.001046814,0.0005530026,0.001829466,0.002909996,0.001019833,0.001243285,0.0002817691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002073197,"about_ca_system_score_gemma":0.002706371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001454498,"about_ca_topic_score_gemma":0.001687395,"domain_scores_codex":[0.9925121,0.002492802,0.0006312789,0.0003980604,0.003527018,0.000438743],"domain_scores_gemma":[0.9877115,0.008368475,0.001021342,0.0009283597,0.001830782,0.0001395112],"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.0003669566,0.0002971643,0.003099489,0.001200858,0.00008577311,0.0003084914,0.001409936,0.04171927,0.02983182,0.7393754,0.001895186,0.1804098],"study_design_scores_gemma":[0.0002143366,0.001045697,0.001760372,0.0009231801,0.0002452102,0.0008416335,0.00104866,0.5491659,0.1145875,0.282589,0.04742675,0.0001517871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03647865,0.0004753877,0.9549558,0.000329014,0.00006963775,0.0003698898,0.0001054164,0.0007262384,0.006489953],"genre_scores_gemma":[0.5094315,0.0005957057,0.4861915,0.0001269453,0.00006467456,0.0005014282,0.0002925562,0.0002124415,0.002583276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007129319,"threshold_uncertainty_score":0.03770393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03621833093471832,"score_gpt":0.3746305990873894,"score_spread":0.3384122681526711,"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."}}