{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0363556,0.002632587,0.002999876,0.003792661,0.002382544,0.009711402,0.003715353,0.008217987,0.004628826],"category_scores_gemma":[0.06046053,0.001259797,0.003111962,0.004021074,0.02316673,0.05848175,0.005476872,0.01146599,0.001703635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003423841,"about_ca_system_score_gemma":0.00193276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007521528,"about_ca_topic_score_gemma":0.0004972481,"domain_scores_codex":[0.9780805,0.01329463,0.001305254,0.001601482,0.00435273,0.001365343],"domain_scores_gemma":[0.9180312,0.06164571,0.003009765,0.01212542,0.00358249,0.001605505],"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.0002081902,0.00009517128,0.001062252,0.0003985667,0.00007972831,0.0001073539,0.0006255209,0.005463807,0.0008096428,0.955232,0.001273046,0.03464464],"study_design_scores_gemma":[0.00004389609,0.0001862489,0.0003899374,0.0004431783,0.00008228939,0.0003163449,0.0005174673,0.01872913,0.002151131,0.9707256,0.00634123,0.00007359123],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03470173,0.01303272,0.9242199,0.0158831,0.0005052605,0.0001802432,0.0001492756,0.0005001805,0.01082756],"genre_scores_gemma":[0.5899221,0.01578888,0.3824203,0.00256039,0.001920629,0.0006039162,0.0002500487,0.0009238394,0.005609933],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0363556,"threshold_uncertainty_score":0.1922691,"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."}}