{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002935944,0.001813838,0.0009685189,0.003884628,0.001194576,0.003303138,0.002544505,0.001280873,0.003319232],"category_scores_gemma":[0.005039677,0.0009311763,0.00296441,0.001770006,0.003241851,0.006395937,0.002247407,0.003610676,0.0008339861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00231862,"about_ca_system_score_gemma":0.00274064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002629072,"about_ca_topic_score_gemma":0.002362676,"domain_scores_codex":[0.9963626,0.0007201001,0.0003167829,0.0006375774,0.001736071,0.0002269579],"domain_scores_gemma":[0.9960126,0.001753097,0.000254067,0.0007599281,0.001062333,0.0001580504],"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.0001519469,0.000177858,0.0008360594,0.0004421149,0.0002384579,0.0006535148,0.0007257403,0.08646926,0.04168625,0.7407427,0.002539256,0.1253368],"study_design_scores_gemma":[0.00005606741,0.0001413175,0.0002685375,0.00009785504,0.0001518231,0.0005008322,0.0001072224,0.5885478,0.02972893,0.3553433,0.02492489,0.0001314833],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009795919,0.00007447151,0.9977374,0.00006076489,0.00006123949,0.00005366356,0.00002174785,0.0003232471,0.0006878717],"genre_scores_gemma":[0.05750564,0.0004285563,0.9389809,0.0001436548,0.0001362623,0.0002485183,0.0001010091,0.0001984871,0.002257094],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003884628,"threshold_uncertainty_score":0.01682287,"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."}}