{"id":"W1581922034","doi":"10.1007/978-3-642-04238-6_30","title":"A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Programming language; Executable; Protocol (science); Cryptographic protocol; Compiler; Theoretical computer science; Set (abstract data type); Modular design; Cryptography; Logic programming; Answer set programming; Algorithm","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.001244916,0.0004490365,0.0004774214,0.0006609152,0.0003155064,0.0005818029,0.003827687,0.0002549247,0.00000260075],"category_scores_gemma":[0.00006444213,0.0003175218,0.0001726395,0.001416545,0.0004821526,0.0003793002,0.0006956018,0.0005379481,0.000006383329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001459722,"about_ca_system_score_gemma":0.0004582359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002313942,"about_ca_topic_score_gemma":0.00002255995,"domain_scores_codex":[0.996582,0.00006994294,0.0005273055,0.00131155,0.0008931437,0.0006160698],"domain_scores_gemma":[0.9973999,0.00008631179,0.0003773073,0.001590422,0.0003961996,0.0001499068],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009918204,0.0001060061,0.00008986374,0.00007548553,0.00001432275,0.000005900712,0.003996209,0.03673422,0.0005183094,0.06457331,0.00002420749,0.8938522],"study_design_scores_gemma":[0.0003131143,0.0004499207,0.0004984252,0.0005130325,0.00001683556,0.00009239386,8.710413e-7,0.935581,0.001400175,0.04779937,0.01246045,0.0008743787],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001471769,0.0001296723,0.9894978,0.0002053085,0.0003760223,0.00650874,0.000002120484,0.0000994929,0.003033672],"genre_scores_gemma":[0.04788335,0.00000468677,0.9503575,0.0005521903,0.0005632135,0.0004741715,0.000004274175,0.00002630261,0.0001343443],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8988468,"threshold_uncertainty_score":0.9999277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0436482872316068,"score_gpt":0.2882891969057182,"score_spread":0.2446409096741115,"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."}}