{"id":"W2114601545","doi":"10.1109/ccece.1997.614857","title":"New approach to cryptographic protocol analysis using coloured Petri nets","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Petri net; Computer science; Cryptographic protocol; Cryptography; Protocol (science); Ambiguity; Theoretical computer science; Distributed computing; Computer network; Algorithm; Programming language","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.000217057,0.0001869971,0.0002588204,0.0006304955,0.0001620571,0.0002519261,0.00115964,0.00006743289,0.0005176741],"category_scores_gemma":[0.0000531574,0.0001715988,0.0001664981,0.006074845,0.00002550714,0.0005297658,0.0002950579,0.000126555,0.0001729267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005612227,"about_ca_system_score_gemma":0.00003813105,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003340053,"about_ca_topic_score_gemma":0.000008313833,"domain_scores_codex":[0.9980375,0.00009131608,0.0003540773,0.0006999092,0.0004407231,0.0003764704],"domain_scores_gemma":[0.9982772,0.00003859703,0.0001390947,0.001082865,0.0001255164,0.0003367365],"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.00003291401,0.001606045,0.004857865,0.00008408032,0.000559476,0.000009726787,0.004913726,0.02583645,0.002508444,0.9124565,0.005214704,0.04192014],"study_design_scores_gemma":[0.0006880723,0.00006267575,0.001297999,0.000007217052,0.00004887462,0.0000069249,0.00001938188,0.9676701,0.001060874,0.01685175,0.01190486,0.0003812708],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007035936,0.000001526733,0.8588555,0.0002577203,0.0000195661,0.1331001,5.236986e-7,0.0002514568,0.007443261],"genre_scores_gemma":[0.0265529,9.020467e-8,0.8201894,0.0004385703,0.00002714491,0.1516795,6.50258e-7,0.00001047937,0.001101302],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9418337,"threshold_uncertainty_score":0.6997598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05893345233346076,"score_gpt":0.3257791327274924,"score_spread":0.2668456803940316,"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."}}