{"id":"W1852865509","doi":"10.1109/enabl.1997.630823","title":"From protocol specifications to flaws and attack scenarios: an automatic and formal algorithm","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Protocol (science); Authentication protocol; Cryptographic protocol; Computation; Formal methods; Universal composability; Set (abstract data type); Formal specification; Communications protocol; Encryption; Property (philosophy); Formal verification; Theoretical computer science; Model checking; Authentication (law); Algorithm; Distributed computing; Programming language; Cryptography; Computer network; Computer security","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":[],"consensus_categories":[],"category_scores_codex":[0.0001291622,0.0001393658,0.000133985,0.00007375841,0.0002046355,0.0003003696,0.0004446993,0.00004353574,0.0002442436],"category_scores_gemma":[0.00002741359,0.0001248802,0.00001575906,0.0002385071,0.00005843364,0.0016629,0.0002850737,0.00008533282,0.0001491309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002514368,"about_ca_system_score_gemma":0.00001170893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001532418,"about_ca_topic_score_gemma":0.00001282304,"domain_scores_codex":[0.9987552,0.00004794214,0.0002716486,0.0004801308,0.0001973514,0.000247741],"domain_scores_gemma":[0.9988628,0.0000537171,0.00007451498,0.0006835098,0.00006669534,0.0002587305],"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.000001998455,0.0002668563,0.0001984264,0.00002235576,0.000008393739,0.00000290229,0.005605717,0.00001450496,0.0002794911,0.05339691,0.0004998597,0.9397026],"study_design_scores_gemma":[0.0005874635,0.0001459496,0.006743402,0.0000220187,0.000002848667,0.00001203596,0.00007495311,0.9558167,0.0006505755,0.0226748,0.01302666,0.0002425812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001993938,0.000003186702,0.8983055,0.001095677,0.00002234388,0.09756781,0.000006440777,0.0002803986,0.0007247054],"genre_scores_gemma":[0.01754588,5.789807e-7,0.7891834,0.0003785355,0.00005898927,0.1924882,0.000002149632,0.00001050504,0.0003317944],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9558022,"threshold_uncertainty_score":0.5092468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06666137799774224,"score_gpt":0.3232910688565209,"score_spread":0.2566296908587786,"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."}}