{"id":"W2123758179","doi":"10.1109/lcn.2011.6115195","title":"Formal validation of the security properties of AMT's three-way handshake","year":2011,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Multicast; Computer science; Handshake; Computer network; Protocol Independent Multicast; Gateway (web page); Relay; Xcast; The Internet; IP multicast; Inter-domain; Pragmatic General Multicast; Source-specific multicast; Distributed computing; Operating system; World Wide Web","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.01314993,0.001085059,0.0007536925,0.001301989,0.001595046,0.004698604,0.003022537,0.002319866,0.00226731],"category_scores_gemma":[0.04887343,0.001246477,0.003484479,0.0005340111,0.007829534,0.005350867,0.004424885,0.004254769,0.0005162821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002956075,"about_ca_system_score_gemma":0.00507376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004337309,"about_ca_topic_score_gemma":0.002248772,"domain_scores_codex":[0.9798765,0.00620783,0.00164824,0.001667103,0.008721628,0.001878686],"domain_scores_gemma":[0.9398938,0.03668683,0.003569166,0.0114973,0.007669869,0.0006829592],"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.0003444688,0.0003722351,0.004133462,0.000669739,0.0002075299,0.001454877,0.002321308,0.1585748,0.03025959,0.7622094,0.002302427,0.03715014],"study_design_scores_gemma":[0.0002914617,0.0003843699,0.000956589,0.0003952148,0.0002296922,0.0006372883,0.000473282,0.5653689,0.0887982,0.3213938,0.02090153,0.0001696131],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05347527,0.000105964,0.9368137,0.0007296568,0.0001213939,0.0003658383,0.0002414598,0.001753308,0.006393498],"genre_scores_gemma":[0.7043834,0.0002097896,0.2904063,0.0004762881,0.00009982303,0.0007413897,0.0005144716,0.0005392483,0.002629164],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01314993,"threshold_uncertainty_score":0.06954432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04651901284192324,"score_gpt":0.2385868978987687,"score_spread":0.1920678850568455,"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."}}