{"id":"W2031562245","doi":"10.1109/ecai.2014.7090214","title":"Secrecy by witness-functions on increasing protocols","year":2014,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Secrecy; Cryptographic protocol; Protocol (science); Cryptography; Component (thermodynamics); Property (philosophy); Universal composability","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.000434657,0.0001279575,0.0001168835,0.00005899746,0.0001957961,0.0001524621,0.0006172304,0.00004657174,0.00008619098],"category_scores_gemma":[0.0002127975,0.0001106477,0.00003721737,0.0002971937,0.00004981001,0.0005252146,0.0001390193,0.0001303826,0.0004313338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000419874,"about_ca_system_score_gemma":0.00003132983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000131423,"about_ca_topic_score_gemma":0.000002265665,"domain_scores_codex":[0.9987384,0.0001579278,0.0002101365,0.0004033841,0.0002637212,0.0002264057],"domain_scores_gemma":[0.9987484,0.0001844338,0.00009275918,0.0007794502,0.00008308612,0.0001118523],"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.000006971727,0.000107755,0.0003384642,0.000007707889,0.000002315831,1.561589e-7,0.00005483961,0.00001861697,0.00114171,0.9847411,0.0001415226,0.01343883],"study_design_scores_gemma":[0.0005756347,0.0002102258,0.0008697796,0.0000473048,0.000001645864,0.00000771218,0.00001032445,0.02292224,0.01412136,0.9376138,0.02336988,0.0002500807],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006212674,6.300577e-7,0.9546344,0.0005897306,0.00005015413,0.02319511,0.000001412583,0.0004258616,0.02048148],"genre_scores_gemma":[0.9023922,6.486217e-8,0.03038839,0.0008970118,0.00004634379,0.06497259,0.000003999553,0.00001154744,0.001287859],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.924246,"threshold_uncertainty_score":0.5544067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01596549535019913,"score_gpt":0.2963231206679358,"score_spread":0.2803576253177367,"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."}}