{"id":"W2158464066","doi":"10.1016/s1571-0661(03)50004-4","title":"Towards the Correctness of Security Protocols","year":2003,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Correctness; Cryptographic protocol; Secrecy; Protocol (science); Theoretical computer science; Mathematical proof; Completeness (order theory); Cryptographic primitive; Cryptography; Type safety; Computer security; Programming language; Mathematics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.003863451,0.0002093816,0.0002704363,0.0001585506,0.0002521763,0.0001758432,0.003764228,0.00006157497,0.00003898225],"category_scores_gemma":[0.0009445782,0.000147481,0.00007622787,0.002441991,0.002911448,0.0006002727,0.0006363731,0.0005063338,0.00001275022],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001991155,"about_ca_system_score_gemma":0.0008454261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003673547,"about_ca_topic_score_gemma":0.000004308436,"domain_scores_codex":[0.9965652,0.000421425,0.0004925517,0.0007464055,0.0008402345,0.0009341463],"domain_scores_gemma":[0.9974476,0.0006054572,0.0001788285,0.001394747,0.0002568224,0.0001165283],"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.000006919336,0.0001372315,0.0001711363,0.00001247852,0.000002018232,0.000001514708,0.0008891217,0.0001700493,0.0002420071,0.9808145,7.715984e-7,0.01755224],"study_design_scores_gemma":[0.0002746178,0.0001999104,0.0002242591,0.00003623169,0.000001293659,0.00002488768,0.000005196334,0.1205833,0.06957828,0.808751,0.0001633425,0.0001575942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005262346,0.00002994007,0.9822404,0.0005602965,0.0001618975,0.01056464,6.160293e-7,0.00007837453,0.001101488],"genre_scores_gemma":[0.9572408,0.00000180097,0.03852089,0.0001975823,0.00002123393,0.004008575,1.588799e-7,0.000007801655,0.000001180653],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9519784,"threshold_uncertainty_score":0.9998021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01217210551762005,"score_gpt":0.3007531301020991,"score_spread":0.2885810245844791,"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."}}