{"id":"W4253642102","doi":"10.1109/isias.2007.4299783","title":"Modeling Security Protocols as Games","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Notation; Cryptographic protocol; Protocol (science); Programming language; Semantics (computer science); Simple (philosophy); Theoretical computer science; Game semantics; Computer security model; Operational semantics; Tree (set theory); Computer security; Cryptography; Denotational semantics","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.003138148,0.002103669,0.001178427,0.001929328,0.001815181,0.006130537,0.0027986,0.003039109,0.004765383],"category_scores_gemma":[0.005362787,0.001111558,0.002808738,0.002153817,0.005132745,0.01081506,0.003335437,0.004167321,0.001285129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002537397,"about_ca_system_score_gemma":0.00301771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005573828,"about_ca_topic_score_gemma":0.0041546,"domain_scores_codex":[0.9954912,0.001900975,0.0004475083,0.0005540575,0.00108115,0.0005251618],"domain_scores_gemma":[0.9968443,0.00153051,0.0003745533,0.0005504967,0.000409845,0.0002902611],"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.00001081979,0.00002869259,0.00008959104,0.0000342092,0.00001387591,0.00008772172,0.0002704711,0.01576869,0.0005069887,0.9809521,0.0003245009,0.001912347],"study_design_scores_gemma":[0.0000440876,0.00004081494,0.00004237009,0.00004131429,0.00003433997,0.00009331252,0.0001076332,0.1079045,0.000638573,0.8757337,0.01529482,0.00002450858],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008776487,0.0004344933,0.9717314,0.0008933722,0.0001161034,0.0002638196,0.0001295557,0.0003983394,0.01725655],"genre_scores_gemma":[0.312853,0.001895682,0.6652629,0.0008091045,0.0003015598,0.001648005,0.000508034,0.0002894023,0.01643222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006130537,"threshold_uncertainty_score":0.01841021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02551860192361155,"score_gpt":0.3507146340805801,"score_spread":0.3251960321569686,"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."}}