{"id":"W1897128362","doi":"10.1109/csac.1998.738652","title":"An environment for the specification and analysis of cryptoprotocols","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Cryptographic protocol; Key (lock); Cryptography; Set (abstract data type); Formal verification; Protocol (science); Software engineering; Architecture; Programming language; 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.0001623418,0.00004693407,0.00008032907,0.00005607441,0.00006757917,0.00003543183,0.0003558773,0.00001550849,0.0001472055],"category_scores_gemma":[0.00001011785,0.00003169859,0.00003703163,0.0002303076,0.00004803661,0.0002242943,0.00003897867,0.00002033316,0.000004407438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009839257,"about_ca_system_score_gemma":0.00000157133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001652862,"about_ca_topic_score_gemma":0.000001282822,"domain_scores_codex":[0.9994503,0.00002162397,0.0001517742,0.0001935803,0.0001120135,0.00007072412],"domain_scores_gemma":[0.9991336,0.0001103153,0.00008987339,0.0006132122,0.00002428715,0.00002868107],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003315733,0.0001508649,0.001884928,0.000008973146,0.00008278989,4.471654e-8,0.0009960381,0.0008049252,0.002220725,0.8532321,0.00002285817,0.1405924],"study_design_scores_gemma":[0.0001723157,0.0000697329,0.04315942,0.00000121296,0.00004781195,2.295138e-7,0.00002568115,0.9238046,0.005020854,0.02227002,0.005361742,0.00006634137],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003776893,0.00001487219,0.9858345,0.0004380222,0.000004801357,0.01317177,0.000002595133,0.00002164446,0.0001340401],"genre_scores_gemma":[0.7291136,0.00001516016,0.238355,0.0001028516,0.00001163199,0.03225659,0.000002169279,0.00000384786,0.0001392425],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9229997,"threshold_uncertainty_score":0.1611797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04279011412334183,"score_gpt":0.2985149845214884,"score_spread":0.2557248703981466,"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."}}