{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002365753,0.00006244876,0.0001041466,0.00002688908,0.00008228685,0.00003389736,0.0004739138,0.00004057325,0.00002346841],"category_scores_gemma":[0.0000300534,0.00005917338,0.00006091484,0.00023298,0.00001872826,0.0001657287,0.00009305732,0.00005044505,0.000003729633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009790915,"about_ca_system_score_gemma":0.00001619945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003661975,"about_ca_topic_score_gemma":0.000002464657,"domain_scores_codex":[0.9992928,0.00001777654,0.0001960058,0.0002052804,0.0001119488,0.0001762085],"domain_scores_gemma":[0.9993426,0.0001039334,0.0000780253,0.0003362006,0.00009846039,0.0000408265],"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.000002349771,0.00009228651,0.00004449643,0.00003765884,0.000008368644,1.456855e-7,0.001892019,0.02428064,0.00002563218,0.9517576,0.009809623,0.01204924],"study_design_scores_gemma":[0.0001354375,0.00002926533,0.000005411107,0.000008687264,0.000001535249,0.000001546025,0.000006049576,0.8765169,0.0009550898,0.1208095,0.001465508,0.00006508546],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002121215,0.0001246955,0.9886753,0.0005415417,0.0001156289,0.0002084154,0.000001167956,0.00009176372,0.008120303],"genre_scores_gemma":[0.7828473,0.000003134303,0.21659,0.0002504314,0.00006785595,0.00001839217,5.037048e-7,0.000003039322,0.000219323],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8522363,"threshold_uncertainty_score":0.241302,"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."}}