{"id":"W2044619109","doi":"10.1145/2179298.2179343","title":"A formal test for detecting information leakage via covert channels","year":2011,"lang":"en","type":"article","venue":"","topic":"Internet Traffic Analysis and Secure E-voting","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Information leakage; Computer science; Citation; Computer security; Covert; Covert channel; Test (biology); Information security; World Wide Web; Information retrieval; Operating system","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.008760659,0.001459402,0.001823417,0.003465257,0.001295621,0.004469485,0.002726852,0.00342005,0.0061218],"category_scores_gemma":[0.08352129,0.0009698592,0.003309551,0.001499039,0.008126496,0.01064506,0.005787428,0.003699061,0.001708248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002126357,"about_ca_system_score_gemma":0.004645833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001164642,"about_ca_topic_score_gemma":0.0007269037,"domain_scores_codex":[0.9710972,0.00773185,0.002269733,0.00424051,0.01095534,0.003705355],"domain_scores_gemma":[0.8592967,0.1044606,0.007077848,0.01601877,0.01061316,0.002532967],"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.004226411,0.002324702,0.03314056,0.002224541,0.0007252339,0.002933413,0.001576691,0.09477242,0.07712016,0.5240992,0.01889317,0.2379634],"study_design_scores_gemma":[0.0006407571,0.001742703,0.002852158,0.0003124709,0.0003586243,0.001612338,0.0004188718,0.4067635,0.115163,0.4607549,0.009091082,0.0002895782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09108557,0.0002620425,0.8860791,0.002371293,0.0003915024,0.0005662228,0.001131092,0.009898778,0.008214475],"genre_scores_gemma":[0.8771824,0.0001689082,0.1170631,0.0007115819,0.0002895288,0.0005175218,0.001193145,0.0005995425,0.002274201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008760659,"threshold_uncertainty_score":0.04633135,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01882582454616039,"score_gpt":0.2162107646185836,"score_spread":0.1973849400724232,"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."}}