{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02055622,0.001428678,0.002025453,0.002444899,0.003869527,0.008017055,0.002443466,0.00418824,0.00556885],"category_scores_gemma":[0.06194898,0.001579556,0.004741785,0.001951521,0.01453214,0.01938884,0.007892585,0.009484719,0.002026295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004028734,"about_ca_system_score_gemma":0.007144138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003653193,"about_ca_topic_score_gemma":0.001576665,"domain_scores_codex":[0.9514537,0.01170576,0.005019458,0.004614232,0.02164507,0.005561786],"domain_scores_gemma":[0.9259968,0.03971823,0.004660606,0.0145103,0.0139176,0.001196446],"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.0001097859,0.00006336461,0.001205368,0.0002398081,0.0000908678,0.0002702158,0.0007729828,0.01211191,0.00229137,0.9684968,0.001648854,0.01269868],"study_design_scores_gemma":[0.00007629942,0.0000756376,0.0003293878,0.00008983473,0.0000881692,0.0002504961,0.000234928,0.03926238,0.006937502,0.9452206,0.007387941,0.00004679921],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02482835,0.0004358378,0.9554359,0.003547818,0.000239303,0.0003503879,0.0003212982,0.001392302,0.01344879],"genre_scores_gemma":[0.7050972,0.001348146,0.2790771,0.002171714,0.0008533641,0.001132907,0.001337077,0.001237193,0.007745358],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02055622,"threshold_uncertainty_score":0.108713,"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."}}