{"id":"W88494997","doi":"","title":"A Decision Procedure for Structured Cryptographic Protocols","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval; Carleton University","funders":"","keywords":"Cryptographic protocol; Decidability; Computer science; Cryptography; Cryptographic primitive; Protocol (science); Theoretical computer science; Secrecy; Inference; Set (abstract data type); Process (computing); Computer security; Programming language; Artificial intelligence","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.008173892,0.0008093713,0.0007892306,0.00171158,0.001702685,0.003500008,0.002086641,0.002016144,0.01143442],"category_scores_gemma":[0.02111707,0.0007084338,0.003024034,0.001371661,0.004559617,0.007199484,0.004318518,0.005330463,0.003160886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001557515,"about_ca_system_score_gemma":0.002626338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008364513,"about_ca_topic_score_gemma":0.0006974859,"domain_scores_codex":[0.9897877,0.003486095,0.0009884466,0.001994725,0.003107873,0.0006351157],"domain_scores_gemma":[0.9855385,0.01095311,0.0004182798,0.001422508,0.001346247,0.0003214238],"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.0001655141,0.0001075759,0.0002415903,0.0001399466,0.00005020302,0.0001740867,0.0004517,0.00848692,0.003461509,0.939878,0.002113815,0.04472912],"study_design_scores_gemma":[0.0001050856,0.00009258986,0.00007154326,0.00004328122,0.0000512992,0.0001321175,0.00007607451,0.08580325,0.008757193,0.8941008,0.01072659,0.00004014109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00482131,0.00006462313,0.9883838,0.0004935148,0.00005322008,0.0002659763,0.0001530441,0.0008045788,0.004959936],"genre_scores_gemma":[0.2431631,0.0003020832,0.7463142,0.0005917463,0.0001726253,0.0006769604,0.0009937218,0.0003609857,0.007424576],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01143442,"threshold_uncertainty_score":0.04322821,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1023144344607488,"score_gpt":0.4070395400225764,"score_spread":0.3047251055618275,"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."}}