{"id":"W44525949","doi":"10.4230/dagsemproc.07351.7","title":"Belief Change and Cryptographic Protocol Verification","year":2007,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Protocol (science); Cryptographic protocol; Computer science; Cryptographic primitive; Context (archaeology); Theoretical computer science; Cryptography; Model checking; Computer security; Medicine","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.01454193,0.0008646828,0.000931056,0.002271229,0.002131683,0.004659763,0.002814321,0.003080147,0.00455079],"category_scores_gemma":[0.03975409,0.0007338176,0.002173124,0.001847743,0.01230471,0.0116887,0.004865163,0.006161804,0.0009757738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003680044,"about_ca_system_score_gemma":0.002755902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003432263,"about_ca_topic_score_gemma":0.001387915,"domain_scores_codex":[0.9818767,0.008680348,0.0009858187,0.002214428,0.004864365,0.001378379],"domain_scores_gemma":[0.9633129,0.02706799,0.002294697,0.00366323,0.003020137,0.0006410138],"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.0001279973,0.00005368583,0.0004636966,0.0001832289,0.00004777094,0.0003045341,0.0007929422,0.008711649,0.001347463,0.9586669,0.0008929883,0.02840695],"study_design_scores_gemma":[0.00005951542,0.00006264207,0.0001337405,0.00006666002,0.00004002991,0.0001601939,0.0001327102,0.05044289,0.002693791,0.9410949,0.005075579,0.00003733943],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01905761,0.00149885,0.9611215,0.004449848,0.0001951643,0.0002106054,0.0001170086,0.0006577233,0.01269163],"genre_scores_gemma":[0.680832,0.001450415,0.3075179,0.001388912,0.0004778969,0.0005393552,0.00025676,0.0001586612,0.007378142],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01454193,"threshold_uncertainty_score":0.07690603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03827127503498007,"score_gpt":0.3192892258266857,"score_spread":0.2810179507917057,"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."}}