{"id":"W2757936534","doi":"","title":"Modeling Security Protocols using UML2.","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Computer science; Computer security; Cryptographic protocol; Unified Modeling Language; Cryptography; Software; 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.005274257,0.001741167,0.0004829565,0.002761269,0.001068763,0.003088122,0.002088963,0.001718888,0.003995115],"category_scores_gemma":[0.01191211,0.001115268,0.001848348,0.001278339,0.001119695,0.004057876,0.001857049,0.002051227,0.001357046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002026416,"about_ca_system_score_gemma":0.00402825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01397427,"about_ca_topic_score_gemma":0.01582178,"domain_scores_codex":[0.9961877,0.001749812,0.0004442915,0.0002961692,0.001085224,0.0002368943],"domain_scores_gemma":[0.9891685,0.006501626,0.001228381,0.001426702,0.001463567,0.0002112604],"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.0003113319,0.0004293857,0.006749486,0.001473229,0.0002043039,0.001568346,0.006115391,0.20277,0.01910939,0.6143995,0.01669144,0.1301781],"study_design_scores_gemma":[0.0001393869,0.0001581044,0.0009527018,0.0005152099,0.0001856486,0.0008786121,0.000451519,0.5604084,0.01537753,0.2013557,0.2194724,0.0001048271],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007301894,0.0003426282,0.9810783,0.0006125715,0.000116358,0.0004605732,0.0009454107,0.003833936,0.00530824],"genre_scores_gemma":[0.1110374,0.0008906621,0.8786725,0.0002406393,0.0000837746,0.0009790055,0.002543292,0.0006060691,0.004946635],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01397427,"threshold_uncertainty_score":0.02789325,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.191743264717664,"score_gpt":0.3861013611420359,"score_spread":0.1943580964243719,"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."}}