{"id":"W2152421913","doi":"10.1109/isa.2008.102","title":"Sufficient Conditions for Secrecy under Any Equational Theories","year":2008,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Secrecy; Cryptographic protocol; Computer science; Cryptographic primitive; Property (philosophy); Cryptography; State (computer science); Process (computing); Computer security; Theoretical computer science; 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.01107478,0.00143025,0.001727025,0.00314565,0.004068895,0.004464013,0.00200161,0.00323505,0.0120021],"category_scores_gemma":[0.03062086,0.001633056,0.005254271,0.001629777,0.008300794,0.0174303,0.006654782,0.0098194,0.003548088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002072673,"about_ca_system_score_gemma":0.004516114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001287976,"about_ca_topic_score_gemma":0.00138484,"domain_scores_codex":[0.9870729,0.002737499,0.002236393,0.001799501,0.003891732,0.002261815],"domain_scores_gemma":[0.9522741,0.02772833,0.002381187,0.005153286,0.01059336,0.001869797],"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.00007362471,0.00006780143,0.0004848877,0.0001243934,0.00003783621,0.0002524992,0.0003947849,0.001659343,0.001136966,0.9907516,0.001829489,0.003186651],"study_design_scores_gemma":[0.0000961569,0.00005148783,0.0002235058,0.0000875612,0.00005654449,0.000219229,0.0002178635,0.008719343,0.003094174,0.9804447,0.006745431,0.00004389672],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06423765,0.0009930782,0.8219145,0.009099586,0.0009339984,0.0005266528,0.002417998,0.001684673,0.09819179],"genre_scores_gemma":[0.8219047,0.001644417,0.1540097,0.003097879,0.001698881,0.001083734,0.004641974,0.0006048834,0.01131379],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0120021,"threshold_uncertainty_score":0.05856973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04153856535569271,"score_gpt":0.3214564663362203,"score_spread":0.2799179009805275,"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."}}