{"id":"W1499080457","doi":"","title":"Formal Implementation of Network Security Policies.","year":2004,"lang":"en","type":"article","venue":"Conference on Privacy, Security and Trust","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Security policy; Network security policy; Equivalence (formal languages); Network security; Computer security model; Process (computing); Computer security; Network Access Control; Process calculus; Distributed computing; Security service; Theoretical computer science; Computer network; Information security; Cloud computing security; Programming language; Cloud computing; Mathematics; 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.0003928333,0.0002213535,0.0002821502,0.0001141809,0.0003357832,0.0001661911,0.0006085805,0.0001430375,0.0001000648],"category_scores_gemma":[0.00002159797,0.0002176504,0.00008226195,0.0004359339,0.0001468568,0.0009750178,0.0004755808,0.0003209652,0.00001593007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005114457,"about_ca_system_score_gemma":0.0001563183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004360395,"about_ca_topic_score_gemma":0.0003982206,"domain_scores_codex":[0.9982731,0.00007705473,0.0004123803,0.0004190534,0.0003320574,0.000486346],"domain_scores_gemma":[0.9989224,0.00004285001,0.000227338,0.0005083262,0.0001383576,0.0001607164],"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.0000339003,0.0001043227,0.0008368791,0.00004317427,0.00002060466,0.000004261079,0.007501924,0.00007099452,0.00008812107,0.9685161,0.0002414005,0.0225383],"study_design_scores_gemma":[0.00283226,0.001258733,0.01613452,0.0001730457,0.00002837998,0.00005375897,0.0009297706,0.01024154,0.01455464,0.9468479,0.006310468,0.0006350564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9684874,0.0001915842,0.02413766,0.002156354,0.0005459064,0.0003845198,0.00001652267,0.0001563203,0.003923758],"genre_scores_gemma":[0.9979624,0.0004012758,0.0009831684,0.0004464544,0.0001677265,0.00001534652,0.000009661523,0.000007871336,0.000006147128],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02947497,"threshold_uncertainty_score":0.8875528,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02011879000448018,"score_gpt":0.2745379785071904,"score_spread":0.2544191885027102,"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."}}