{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008492078,0.002465965,0.003021245,0.003506875,0.002766954,0.007867151,0.01054755,0.00535614,0.01219906],"category_scores_gemma":[0.01298371,0.002175936,0.009252198,0.00375224,0.008666939,0.01452558,0.009901915,0.01135101,0.003499953],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002923767,"about_ca_system_score_gemma":0.003575794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001944764,"about_ca_topic_score_gemma":0.001953291,"domain_scores_codex":[0.9880619,0.003018725,0.001115293,0.001914256,0.004851385,0.001038403],"domain_scores_gemma":[0.9924406,0.004332017,0.0002499396,0.002056091,0.000736912,0.0001843895],"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.00005589299,0.00008439129,0.00009849326,0.0003353944,0.00008879399,0.0001063513,0.0002702461,0.01413971,0.001948587,0.944491,0.002755834,0.03562526],"study_design_scores_gemma":[0.00004372869,0.00003241939,0.00004405552,0.00006435773,0.00007395911,0.00008006967,0.00003535568,0.05373698,0.002326264,0.9326965,0.01083573,0.00003049118],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008638671,0.0001909484,0.9933265,0.0005385678,0.00008522176,0.0001934098,0.00008667542,0.0006873209,0.004027431],"genre_scores_gemma":[0.05849754,0.0008777577,0.929908,0.000869186,0.0004282409,0.0006851363,0.000583962,0.0003955953,0.007754536],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01219906,"threshold_uncertainty_score":0.04491097,"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."}}