{"id":"W2115353880","doi":"10.1109/csfw.1991.151583","title":"A proof of secrecy for a network security model","year":2002,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Secrecy; Computer science; Argument (complex analysis); Covert; Computer security; Theoretical computer science; Covert channel; Formal proof; Channel (broadcasting); Security policy; Computer network; Mathematics; Mathematical proof; Philosophy","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.004185178,0.0009716584,0.0006872454,0.001344871,0.002228751,0.003201595,0.00145175,0.001865169,0.009773118],"category_scores_gemma":[0.009640825,0.001017815,0.002949237,0.001155107,0.004533221,0.007895887,0.005591102,0.006594738,0.001733179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002912328,"about_ca_system_score_gemma":0.003471632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00290982,"about_ca_topic_score_gemma":0.002199844,"domain_scores_codex":[0.9963142,0.00102569,0.0002469337,0.0004160601,0.001614354,0.0003828013],"domain_scores_gemma":[0.9927015,0.004338144,0.0003641389,0.001171198,0.001198326,0.0002266855],"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.00001803819,0.00002350081,0.00009870939,0.00008509752,0.00001291458,0.0001405527,0.0001901346,0.004562947,0.0007737149,0.9869294,0.002655196,0.004509632],"study_design_scores_gemma":[0.00004070085,0.00003260763,0.00008571785,0.000106113,0.00002496845,0.0001797127,0.00007134467,0.02432492,0.002814032,0.9363961,0.03589554,0.0000282075],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008773868,0.0005887756,0.9355242,0.005740551,0.0003910058,0.0001587384,0.0006579102,0.0008238534,0.04734113],"genre_scores_gemma":[0.5671376,0.003019394,0.3940691,0.004642145,0.0009950778,0.0006950659,0.001476346,0.0005826065,0.0273827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009773118,"threshold_uncertainty_score":0.03269428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05279950851002609,"score_gpt":0.2611858437729274,"score_spread":0.2083863352629013,"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."}}