{"id":"W2741103382","doi":"10.1109/smc.2017.8123025","title":"Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?","year":2017,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Secrecy; Correctness; Cryptographic protocol; Cryptography; Protocol (science); Information-theoretic security","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0003487755,0.0001928377,0.0001967537,0.0003035758,0.0006958894,0.001310482,0.001443686,0.0000774139,0.00006036563],"category_scores_gemma":[0.0006106133,0.0001892521,0.0001120283,0.000431018,0.00009932892,0.004423394,0.0003353041,0.0001574926,0.0001624896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009272435,"about_ca_system_score_gemma":0.0001140538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000320338,"about_ca_topic_score_gemma":0.0006148299,"domain_scores_codex":[0.998333,0.00004771932,0.0003781175,0.0006491676,0.000236889,0.0003550749],"domain_scores_gemma":[0.9974624,0.0002160588,0.0002062419,0.001650135,0.0002966571,0.000168497],"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.0003164378,0.0003314287,0.002005252,0.00005462902,0.00003043137,0.000001232444,0.001665106,0.0005234562,0.0002134074,0.8808681,0.0001476549,0.1138429],"study_design_scores_gemma":[0.007800337,0.00101449,0.04565628,0.0005893815,0.0000221341,0.000005743097,0.001399881,0.101252,0.001699404,0.8155272,0.02394567,0.001087494],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007833704,0.000004123146,0.9387792,0.002528712,0.0007656311,0.05567805,0.000005738807,0.0001974383,0.001257739],"genre_scores_gemma":[0.5767916,0.000001575723,0.05853236,0.000283725,0.0000723019,0.3634171,0.000008025421,0.00001976176,0.0008735436],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8802468,"threshold_uncertainty_score":0.9997262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05108245217099854,"score_gpt":0.3782904927119266,"score_spread":0.3272080405409281,"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."}}