{"id":"W2278042544","doi":"","title":"Game semantics for the specification and analysis of security protocols","year":2008,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Cryptographic protocol; Computer security; Protocol (science); Secrecy; Authentication (law); Cheating; Universal composability; Authentication protocol; Cryptography","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.007248232,0.002774958,0.001910915,0.002515272,0.001674975,0.005535002,0.00331487,0.002834505,0.005737753],"category_scores_gemma":[0.009514659,0.001189933,0.003609295,0.003759756,0.00629665,0.008698604,0.003007322,0.006422997,0.001627864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004601669,"about_ca_system_score_gemma":0.004188327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006741611,"about_ca_topic_score_gemma":0.004104932,"domain_scores_codex":[0.9924419,0.003708003,0.000945377,0.0007854803,0.001583862,0.0005353482],"domain_scores_gemma":[0.9937971,0.004220959,0.0004477546,0.0005467387,0.0007307327,0.0002568138],"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.00001997717,0.000031542,0.00008749901,0.0001514612,0.00002484108,0.0001202527,0.0003307104,0.01280371,0.000453114,0.9802697,0.0008673525,0.004839893],"study_design_scores_gemma":[0.00003471882,0.0000386776,0.00006038254,0.00008417478,0.00002521727,0.00006385914,0.0001338672,0.04216532,0.0004450124,0.9377865,0.01914029,0.00002190371],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002093154,0.00139016,0.9878621,0.0008922176,0.0001243816,0.000174692,0.0002259665,0.0002845367,0.006952741],"genre_scores_gemma":[0.1884849,0.003926635,0.7917395,0.001265131,0.0005541173,0.002293279,0.001172978,0.0003919186,0.01017156],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007248232,"threshold_uncertainty_score":0.03833282,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04533518647189038,"score_gpt":0.3385175751339827,"score_spread":0.2931823886620923,"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."}}