{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006211403,0.001549428,0.001276041,0.001775367,0.001324064,0.004697052,0.002625159,0.002219243,0.009321767],"category_scores_gemma":[0.01626151,0.002088573,0.001804282,0.001351671,0.002522503,0.005822543,0.004551732,0.003731764,0.003721565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00094884,"about_ca_system_score_gemma":0.00278376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001012891,"about_ca_topic_score_gemma":0.001051577,"domain_scores_codex":[0.9915801,0.003594653,0.0008791671,0.0008709787,0.002554071,0.000521002],"domain_scores_gemma":[0.9901037,0.006170345,0.0006356824,0.002156984,0.0006887267,0.000244579],"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.0003643314,0.0002285799,0.001568793,0.0007456726,0.00009671541,0.001233783,0.0009221752,0.05656318,0.01632347,0.7595496,0.01499393,0.1474099],"study_design_scores_gemma":[0.000355288,0.0003004547,0.0007155626,0.000352249,0.00008153186,0.001900148,0.0002350783,0.3730196,0.04522617,0.3256631,0.2519494,0.0002013611],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001294019,0.00005754875,0.9916659,0.00007302147,0.00001977141,0.00009971757,0.000174575,0.005111709,0.001503651],"genre_scores_gemma":[0.06567299,0.0003335962,0.9268578,0.00009920127,0.00005685329,0.0007671366,0.001018109,0.002180269,0.003014046],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009321767,"threshold_uncertainty_score":0.03284943,"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."}}