{"id":"W2142297467","doi":"10.1109/ias.2007.44","title":"Modeling Security Protocols as Games","year":2007,"lang":"en","type":"article","venue":"","topic":"Biometric Identification and Security","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Notation; Cryptographic protocol; Protocol (science); Programming language; Semantics (computer science); Theoretical computer science; Game semantics; Simple (philosophy); Computer security model; Tree (set theory); Operational semantics; Computer security; Cryptography; Denotational semantics; Mathematics","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.0008923789,0.00006724355,0.00007372992,0.0002290555,0.00008111531,0.0001973984,0.0006067813,0.00005511046,0.000084835],"category_scores_gemma":[0.00006650751,0.00005864355,0.00004211418,0.0009710944,0.00001638293,0.0003355257,0.00012771,0.00008990349,0.0002880129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002644183,"about_ca_system_score_gemma":0.00004351775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001129229,"about_ca_topic_score_gemma":0.00002611108,"domain_scores_codex":[0.9990239,0.00001944573,0.000205014,0.000258902,0.0002847791,0.000208017],"domain_scores_gemma":[0.9992861,0.00002879507,0.00002933666,0.000437279,0.0001158716,0.0001026913],"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.000006967573,0.0002118561,0.0003535984,0.00002211224,0.00000857354,0.00001210136,0.001415628,0.0000368099,0.0004872454,0.9252948,0.002113213,0.07003707],"study_design_scores_gemma":[0.0003505492,0.00004648108,0.0006172851,0.0000107156,0.000001492535,0.00002180379,0.0001097552,0.866034,0.01214769,0.0550422,0.06534453,0.0002734624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01088157,0.00001652696,0.9597697,0.0004498675,0.0001027103,0.001970433,2.813169e-7,0.0002548,0.02655417],"genre_scores_gemma":[0.9711516,0.000001680598,0.02696482,0.0005910218,0.00003999736,0.0002452634,9.484968e-7,0.000003235589,0.00100137],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9602701,"threshold_uncertainty_score":0.370192,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03869929730434387,"score_gpt":0.3341285578682582,"score_spread":0.2954292605639143,"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."}}