{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006964203,0.0001274468,0.0001195966,0.000081047,0.0001075203,0.0001218113,0.0008948677,0.00005922948,0.0000748778],"category_scores_gemma":[0.0001311909,0.0001151706,0.00005295364,0.0003325417,0.00003049352,0.0007916085,0.0002812715,0.0001513546,0.0002774919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004652852,"about_ca_system_score_gemma":0.00006264546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001746821,"about_ca_topic_score_gemma":0.00001420514,"domain_scores_codex":[0.9985433,0.00002863208,0.0003153219,0.0004108692,0.0003442659,0.0003575593],"domain_scores_gemma":[0.9988286,0.00006835951,0.00006155938,0.0007487471,0.0001482924,0.0001444682],"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.000007042687,0.00009239755,0.0001349148,0.00001483159,0.000003086962,0.000006238173,0.0007519455,0.0002359035,0.0003427777,0.9874817,0.00001855754,0.01091056],"study_design_scores_gemma":[0.0002708716,0.00004836031,0.00005631691,0.00001988698,7.590285e-7,0.00001336715,0.00004045971,0.3543506,0.01785467,0.6242846,0.002881291,0.0001788202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002447575,0.000004482491,0.9515002,0.0002799183,0.00003866888,0.03199274,2.751122e-7,0.0004793658,0.01325679],"genre_scores_gemma":[0.8573986,3.348617e-7,0.1209249,0.0005376005,0.00004433381,0.0207765,5.639592e-7,0.000009129441,0.0003080052],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8549511,"threshold_uncertainty_score":0.4696522,"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."}}