{"id":"W2164375816","doi":"10.1109/wocn.2009.5010502","title":"Formal analysis of the handover schemes in mobile WiMAX networks","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Handover; Computer science; WiMAX; Computer network; Secrecy; Forward secrecy; Cryptographic protocol; Protocol (science); Computer security; Cryptography; Wireless; Encryption; Telecommunications; Public-key cryptography","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.003133519,0.000667735,0.0004854421,0.001156857,0.001160959,0.003624954,0.001826606,0.00116662,0.002730849],"category_scores_gemma":[0.006701873,0.0006595109,0.001369338,0.001160948,0.00347014,0.00477622,0.001580785,0.002640491,0.0005352611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002481795,"about_ca_system_score_gemma":0.001701222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003068235,"about_ca_topic_score_gemma":0.002085896,"domain_scores_codex":[0.9972454,0.0008711734,0.000246099,0.0002725133,0.001049534,0.0003152984],"domain_scores_gemma":[0.9971452,0.001681036,0.0002506256,0.0004812674,0.0003853769,0.00005652851],"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.00003774888,0.00005298562,0.0001848558,0.0001329803,0.00002163948,0.0001864786,0.0003519034,0.0281322,0.002134921,0.9539632,0.0007461851,0.0140548],"study_design_scores_gemma":[0.00003538099,0.00004915088,0.0002500779,0.0001520945,0.00005571489,0.000243988,0.0001279863,0.1501601,0.003905914,0.826363,0.01861939,0.00003719679],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01706917,0.001559557,0.965852,0.0008752634,0.0001306366,0.0001557122,0.000240087,0.0003929981,0.01372456],"genre_scores_gemma":[0.5995077,0.003766739,0.3830602,0.0004541828,0.0003627744,0.0006444044,0.0006913668,0.000224747,0.01128782],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003624954,"threshold_uncertainty_score":0.01800674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007088272282523324,"score_gpt":0.269665439090386,"score_spread":0.2625771668078627,"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."}}