{"id":"W2403603339","doi":"","title":"An explicit model of belief change for cryptographic protocol verification","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Protocol (science); Cryptographic protocol; Computer science; Theoretical computer science; Context (archaeology); Cryptographic primitive; 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.01015,0.0008261533,0.000734394,0.001358257,0.002546161,0.006004412,0.00415449,0.003997188,0.005808582],"category_scores_gemma":[0.025651,0.001201738,0.002316242,0.001314834,0.007666451,0.01631124,0.006760574,0.007302789,0.001185634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003244247,"about_ca_system_score_gemma":0.002851764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002564831,"about_ca_topic_score_gemma":0.002860265,"domain_scores_codex":[0.9906058,0.004102945,0.0007082605,0.001165363,0.002639103,0.0007785455],"domain_scores_gemma":[0.9778337,0.01335199,0.001335901,0.004757874,0.001930897,0.0007895425],"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.00006201685,0.00004864324,0.0002013493,0.00006612093,0.00001872656,0.0002344638,0.0006355463,0.01032706,0.001098017,0.9803462,0.0005006413,0.006461333],"study_design_scores_gemma":[0.0000797382,0.00006937686,0.00008170601,0.00006448892,0.00005587324,0.0001974799,0.0001392123,0.1624746,0.003231509,0.8247567,0.008805088,0.00004402806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008301393,0.0001920544,0.9812016,0.001878428,0.00008180454,0.00009866175,0.00007919669,0.0003833912,0.007783461],"genre_scores_gemma":[0.550633,0.0003906213,0.4384496,0.0007346598,0.0002950938,0.0004602852,0.0002240637,0.0001479579,0.008664704],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01015,"threshold_uncertainty_score":0.05367899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0851541452225101,"score_gpt":0.3402474879889678,"score_spread":0.2550933427664577,"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."}}