{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003727053,0.00009852098,0.000115232,0.00009715112,0.0001461871,0.0001449742,0.0004150431,0.0000483865,0.00003893899],"category_scores_gemma":[0.00008606645,0.00008043806,0.0001043889,0.0001592109,0.000009826053,0.002200933,0.0001177341,0.00006969097,0.000087438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002017325,"about_ca_system_score_gemma":0.00001589748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002613896,"about_ca_topic_score_gemma":0.00002905051,"domain_scores_codex":[0.9991552,0.000008258287,0.000280173,0.0001331342,0.0001292588,0.0002940004],"domain_scores_gemma":[0.9995177,0.00008012322,0.0001121581,0.0001238769,0.0001171327,0.00004904112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002726391,0.0001419888,0.0002824138,0.00008133119,0.00009794146,0.000004114315,0.02812694,0.001644081,0.0002485479,0.6153377,0.001911265,0.3520964],"study_design_scores_gemma":[0.0001913278,0.0001420498,0.00006617688,0.000007827978,0.000006290345,0.000009743231,0.0001427205,0.9949598,0.003219742,0.00010658,0.001023088,0.0001246611],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00864838,0.000003800365,0.9827673,0.00003357289,0.0002413988,0.0001368282,7.314432e-7,0.0001553977,0.008012543],"genre_scores_gemma":[0.9667175,3.96371e-7,0.03252669,0.0004270486,0.00005992551,0.000016426,0.000002765595,0.000003852092,0.000245385],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9933157,"threshold_uncertainty_score":0.3280169,"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."}}