{"id":"W4311477341","doi":"10.1007/s11227-022-04993-4","title":"Formal unlinkability analysis of message authentication protocols based on authentic channels","year":2022,"lang":"en","type":"article","venue":"The Journal of Supercomputing","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Authentication (law); Confidentiality; Channel (broadcasting); Computer security; Initialization; Protocol (science); Bluetooth; Computer network; Wireless; Telecommunications","routes":{"ca_aff":true,"ca_fund":true,"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.005647037,0.0001561103,0.0004122029,0.0005472759,0.0004941888,0.00005774438,0.001988618,0.00003035445,0.000092393],"category_scores_gemma":[0.0002176999,0.0001162963,0.0003221512,0.002010912,0.00009264612,0.0005304872,0.0004927951,0.0004735225,0.00000181603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001639206,"about_ca_system_score_gemma":0.0001494755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007265457,"about_ca_topic_score_gemma":6.888525e-7,"domain_scores_codex":[0.9965761,0.0008496856,0.00102655,0.0002151889,0.001033515,0.0002989067],"domain_scores_gemma":[0.9970101,0.0007013209,0.0009979159,0.0008746171,0.0003370251,0.00007902342],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002386704,0.001587761,0.00392,0.000129249,0.0004913931,0.000007849516,0.02036825,0.9157593,0.004964973,0.03611563,0.00002999964,0.01638692],"study_design_scores_gemma":[0.0005644022,0.0004365959,0.006478072,0.00005053636,0.0002008703,0.00001497542,0.0003473166,0.9808586,0.002372777,0.008388685,0.0001607551,0.0001263763],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.167749,0.00001032348,0.8245919,0.0008865871,0.0001306897,0.006555372,0.000005996429,0.0000317238,0.00003841001],"genre_scores_gemma":[0.9904621,2.317433e-7,0.008458115,0.000224603,0.00003822764,0.0007952259,0.000002615902,0.000009753108,0.000009117924],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8227131,"threshold_uncertainty_score":0.4742424,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02595956415809417,"score_gpt":0.308278891400138,"score_spread":0.2823193272420438,"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."}}