{"id":"W1522231734","doi":"10.1109/dfma.2005.46","title":"Secrecy Correctness for Security Protocols","year":2005,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Correctness; Secrecy; Computer science; Mathematical proof; Bounding overwatch; Computer security; Cryptographic protocol; Protocol (science); Theoretical computer science; Cryptography; Programming language; Artificial intelligence; 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":[],"consensus_categories":[],"category_scores_codex":[0.0003004016,0.0001339535,0.00014491,0.0000514371,0.0001328808,0.0001296842,0.0009443765,0.0000563178,0.00009102522],"category_scores_gemma":[0.00009628295,0.0001211757,0.00007222331,0.0002372396,0.00003446714,0.0008939074,0.0001786857,0.00009104377,0.0001310704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005818849,"about_ca_system_score_gemma":0.00007146841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001843178,"about_ca_topic_score_gemma":0.00001292347,"domain_scores_codex":[0.9987727,0.00003675649,0.0002640954,0.0004237039,0.0001999895,0.0003027536],"domain_scores_gemma":[0.9987932,0.0001151726,0.0001035476,0.0006934856,0.0001864101,0.0001082068],"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.000009736034,0.0001525949,0.00007687217,0.00003061985,0.000003600058,2.612292e-7,0.000657586,0.00003510587,0.000160703,0.9522696,0.0004508548,0.04615253],"study_design_scores_gemma":[0.0009595482,0.0001019842,0.0001083259,0.00002295528,0.000001860456,0.000008995065,0.00001873037,0.1748209,0.04211655,0.622467,0.1590872,0.0002859219],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001535712,0.000003274474,0.9185317,0.00121593,0.00006691639,0.07624489,0.000003395603,0.0004300073,0.003350275],"genre_scores_gemma":[0.3308119,2.115085e-7,0.3358911,0.0008784409,0.0001603864,0.3309967,0.000003508654,0.00001449162,0.001243189],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5826406,"threshold_uncertainty_score":0.4941401,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448247241117841,"score_gpt":0.3455860998693239,"score_spread":0.3211036274581455,"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."}}