{"id":"W2012369158","doi":"10.1007/s00165-009-0129-4","title":"A game-theoretic framework for specification and verification of cryptographic protocols","year":2009,"lang":"en","type":"article","venue":"Formal Aspects of Computing","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; Cryptographic protocol; Theoretical computer science; Protocol (science); Notation; Semantics (computer science); Theory of computation; Game semantics; Programming language; Set (abstract data type); Cryptography; Simple (philosophy); Operational semantics; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007049358,0.001925346,0.001486588,0.0023582,0.001909629,0.006104163,0.004176798,0.002228828,0.003607874],"category_scores_gemma":[0.00714142,0.001526051,0.003109006,0.002458924,0.006464764,0.006605047,0.003121336,0.004729817,0.0009354945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003813997,"about_ca_system_score_gemma":0.0056412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01087095,"about_ca_topic_score_gemma":0.009804955,"domain_scores_codex":[0.9931548,0.003409747,0.0006769507,0.000599762,0.001642918,0.000515869],"domain_scores_gemma":[0.996303,0.002111539,0.0003023536,0.0005046378,0.0005609377,0.0002174839],"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.00001758017,0.00003211808,0.00007378861,0.00009653309,0.00002504636,0.0001351853,0.0001772688,0.03216895,0.0007357516,0.961974,0.0005289406,0.004034851],"study_design_scores_gemma":[0.00006809503,0.00006001147,0.00006695792,0.0001229564,0.00006681707,0.0001203821,0.0001124993,0.229191,0.001659863,0.7473146,0.02117188,0.0000449849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002076867,0.0003298004,0.9937683,0.0003651491,0.0000612955,0.0001437992,0.00009787084,0.0002418513,0.002915056],"genre_scores_gemma":[0.1577456,0.001183312,0.8353378,0.0003808532,0.0001857882,0.0008940194,0.00037159,0.0001596588,0.003741388],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01087095,"threshold_uncertainty_score":0.03728098,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01879349831763574,"score_gpt":0.3143478726894184,"score_spread":0.2955543743717827,"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."}}