{"id":"W1967504721","doi":"10.1504/ijwmc.2010.035890","title":"Games for non-repudiation protocol correctness","year":2010,"lang":"en","type":"article","venue":"International Journal of Wireless and Mobile Computing","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Computer science; Correctness; Protocol (science); Non-repudiation; Computer security; Programming language; Key (lock)","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.01362287,0.001323718,0.002229049,0.001531438,0.003699506,0.005548649,0.002508554,0.003789743,0.00281752],"category_scores_gemma":[0.05022838,0.001009393,0.00327894,0.00129674,0.01295676,0.0140249,0.004854523,0.009093489,0.0006918514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004389789,"about_ca_system_score_gemma":0.005579499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003537528,"about_ca_topic_score_gemma":0.001415464,"domain_scores_codex":[0.9748816,0.01093746,0.002104992,0.002361496,0.006667289,0.003047098],"domain_scores_gemma":[0.9486932,0.03826141,0.002279092,0.004836775,0.004935771,0.0009939056],"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.00006468075,0.00002551684,0.0002607612,0.00007193878,0.00002130546,0.0001110249,0.0003834175,0.007272583,0.0006539063,0.9878284,0.0003570449,0.002949275],"study_design_scores_gemma":[0.00005627244,0.00003452755,0.000110088,0.00002659154,0.00002382248,0.000068676,0.00005621714,0.0388111,0.001110919,0.9582387,0.001440264,0.00002281856],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04503328,0.000518212,0.9317602,0.00495829,0.0002672738,0.0003239681,0.0001686102,0.0003070001,0.01666319],"genre_scores_gemma":[0.8549022,0.0007231354,0.1368232,0.001114161,0.0004922574,0.000825083,0.0002444348,0.000190958,0.004684566],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01362287,"threshold_uncertainty_score":0.07204545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008262736092900656,"score_gpt":0.3286387256496126,"score_spread":0.3203759895567119,"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."}}