{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007695297,0.001141596,0.0009400419,0.003747417,0.002081065,0.005948128,0.002991371,0.001864124,0.006497968],"category_scores_gemma":[0.02834397,0.0009954552,0.002187256,0.002018137,0.006764492,0.01576149,0.005317819,0.005862742,0.0009130499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003093735,"about_ca_system_score_gemma":0.002433876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001749123,"about_ca_topic_score_gemma":0.001067923,"domain_scores_codex":[0.9881854,0.004188296,0.0006740287,0.001393565,0.004073925,0.001484827],"domain_scores_gemma":[0.9525176,0.03232092,0.003489416,0.0064368,0.004284534,0.0009506774],"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.0001692429,0.0001099459,0.0004733917,0.00009690804,0.00003278402,0.0001493653,0.0006104827,0.02542829,0.001988207,0.9595321,0.0007534121,0.01065583],"study_design_scores_gemma":[0.0000335447,0.0000478271,0.0001399824,0.00003932091,0.00004171749,0.00005813459,0.0001425281,0.2093082,0.003056967,0.7853634,0.001736551,0.00003178145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05013583,0.0002085579,0.9374069,0.0008230975,0.00009090788,0.0001511008,0.0001529967,0.0006071795,0.01042335],"genre_scores_gemma":[0.9228463,0.0003743391,0.06967787,0.0002807896,0.0002926177,0.0002954964,0.0003281238,0.0003245191,0.005579927],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007695297,"threshold_uncertainty_score":0.04069716,"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."}}