{"id":"W84891240","doi":"10.1007/978-3-642-38457-8_24","title":"Revisiting the Epistemics of Protocol Correctness","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Computer science; Protocol (science); Correctness; Cryptographic protocol; Epistemic modal logic; Domain (mathematical analysis); Theoretical computer science; Cryptography; Computer security; Description logic; Algorithm; 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.02616009,0.001275919,0.00165969,0.002659736,0.004786798,0.01186559,0.004213797,0.005778213,0.007731366],"category_scores_gemma":[0.08669642,0.002196222,0.0024508,0.002150837,0.0305736,0.04343553,0.01021383,0.01686375,0.002319244],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005336158,"about_ca_system_score_gemma":0.004568394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003213231,"about_ca_topic_score_gemma":0.002031166,"domain_scores_codex":[0.9744848,0.0142631,0.001746682,0.002512227,0.00546504,0.001528215],"domain_scores_gemma":[0.9021589,0.07049628,0.002269984,0.01623935,0.007875247,0.0009602184],"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.00001183921,0.000006171967,0.00005216696,0.0000334981,0.00000444956,0.00002543598,0.0003488419,0.0004322575,0.0000593962,0.995976,0.0005216612,0.002528298],"study_design_scores_gemma":[0.000006421566,0.000005119611,0.0000202241,0.00003174944,0.0000066259,0.00002125139,0.00006666933,0.001230298,0.000145523,0.9948996,0.00355962,0.000007029804],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01849102,0.004083408,0.7925061,0.02870428,0.001717908,0.000100028,0.0002089469,0.0007247179,0.1534635],"genre_scores_gemma":[0.8282286,0.004512484,0.1333269,0.003727288,0.003066235,0.000325446,0.0003917592,0.0009856221,0.02543563],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02616009,"threshold_uncertainty_score":0.1383494,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02057153054224642,"score_gpt":0.2892764854898188,"score_spread":0.2687049549475724,"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."}}