{"id":"W2470754857","doi":"10.1016/j.tcs.2016.06.022","title":"Mitigating covert channels based on analysis of the potential for communication","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Covert; Covert channel; Computer science; Concurrency; Channel (broadcasting); Limiting; Communications system; Order (exchange); Distributed computing; Theoretical computer science; Computer network; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.002249058,0.001155613,0.001209385,0.001690955,0.001261882,0.002285386,0.001622661,0.002172704,0.007163059],"category_scores_gemma":[0.02035769,0.0006468832,0.0008735137,0.0009001524,0.003148575,0.006559366,0.002766376,0.002389007,0.0005862064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001622641,"about_ca_system_score_gemma":0.001529988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006812743,"about_ca_topic_score_gemma":0.0007807773,"domain_scores_codex":[0.9975191,0.0007095501,0.00005933145,0.0003011982,0.0009480112,0.0004627805],"domain_scores_gemma":[0.9773332,0.01833247,0.001026087,0.001780713,0.001208616,0.0003188809],"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.0002508797,0.00006753302,0.0008373719,0.0002355834,0.00007941369,0.0003298981,0.0002220165,0.3204152,0.01001682,0.6388426,0.002778388,0.02592429],"study_design_scores_gemma":[0.0000127857,0.00005111672,0.0001536801,0.00004080646,0.00002959134,0.0002317236,0.00005614994,0.7386152,0.004029347,0.2553729,0.001381026,0.00002576846],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06849689,0.0007947612,0.9025029,0.001800195,0.0001764711,0.00009148565,0.0001396584,0.0003237123,0.02567392],"genre_scores_gemma":[0.9584978,0.0007732541,0.03534948,0.0001768362,0.0001659693,0.00008276757,0.00005404764,0.00009354158,0.004806187],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007163059,"threshold_uncertainty_score":0.0239628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01363241803760556,"score_gpt":0.263277827929747,"score_spread":0.2496454098921415,"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."}}