{"id":"W1885675146","doi":"10.1007/11602897_11","title":"Admissible Interference by Typing for Cryptographic Protocols","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Correctness; Computer science; Cryptography; Interference (communication); Type (biology); Cryptographic protocol; Cryptographic primitive; Theoretical computer science; Process (computing); Information flow; Algorithm; Programming language; Computer network; Channel (broadcasting)","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.004173164,0.001641509,0.001809534,0.002081966,0.003586013,0.00765354,0.002578288,0.002864248,0.007058576],"category_scores_gemma":[0.01341609,0.00178568,0.002341637,0.003575335,0.007677534,0.01304073,0.006070909,0.008445851,0.003024229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002209117,"about_ca_system_score_gemma":0.001520295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004941567,"about_ca_topic_score_gemma":0.0003730251,"domain_scores_codex":[0.9922167,0.002927272,0.0007279541,0.0008421351,0.002364997,0.0009209138],"domain_scores_gemma":[0.9868647,0.007177782,0.0005553973,0.00405565,0.0008991303,0.0004472956],"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.00003345695,0.00002298458,0.00007814992,0.00005286734,0.000005902456,0.00006366093,0.0004110954,0.00101194,0.0005420168,0.987758,0.0009211145,0.009098758],"study_design_scores_gemma":[0.000009365643,0.00001044324,0.00001712167,0.00002244249,0.00000914096,0.00006313354,0.00003380819,0.003030694,0.0007547322,0.9915577,0.004480644,0.00001078758],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02701546,0.00173833,0.8416064,0.001083582,0.0005488276,0.0001582729,0.0001492522,0.001240954,0.1264588],"genre_scores_gemma":[0.7511081,0.00281095,0.1826313,0.0007501941,0.0009772851,0.0007441921,0.0005551365,0.001354239,0.05906863],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00765354,"threshold_uncertainty_score":0.02361333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03886629735266475,"score_gpt":0.3025482220994188,"score_spread":0.2636819247467541,"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."}}