{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001066607,0.0003313451,0.0002867038,0.0003615384,0.0003881874,0.0003457018,0.0009847744,0.0001940389,0.00001212168],"category_scores_gemma":[0.0000851791,0.0003126868,0.0001190967,0.0005821773,0.0001637412,0.00293334,0.0003832092,0.0003095216,0.00006322783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007856209,"about_ca_system_score_gemma":0.00003913084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005860566,"about_ca_topic_score_gemma":0.0000110709,"domain_scores_codex":[0.9974141,0.00002960944,0.001011451,0.0003722783,0.000476987,0.0006956065],"domain_scores_gemma":[0.9977605,0.0001116008,0.0005583419,0.0009785127,0.0003315897,0.000259509],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002257111,0.0008916275,0.01184891,0.0016957,0.00009283247,0.000005099058,0.02530364,0.000006062343,0.0004705318,0.7617999,0.0003285344,0.1973314],"study_design_scores_gemma":[0.01551448,0.001629205,0.06310263,0.0006397966,0.00005666392,0.0002019611,0.001465448,0.0946105,0.01449714,0.1298977,0.6755791,0.002805473],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"protocol","genre_scores_codex":[0.003494449,0.00000828368,0.8597879,0.0002930891,0.0001959075,0.1347864,0.00004541449,0.0003262482,0.001062301],"genre_scores_gemma":[0.3547598,0.00001048152,0.2238167,0.002099106,0.0002686805,0.4187627,0.0001253055,0.000066734,0.00009051659],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6752505,"threshold_uncertainty_score":0.9999325,"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."}}