{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00647888,0.001025893,0.000646021,0.001599801,0.001885421,0.004929726,0.003289049,0.001839742,0.009651452],"category_scores_gemma":[0.01364203,0.001018362,0.00197067,0.001176652,0.004812796,0.008729298,0.003559411,0.004834886,0.002437684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002713364,"about_ca_system_score_gemma":0.003893552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003279848,"about_ca_topic_score_gemma":0.004176923,"domain_scores_codex":[0.9937974,0.002236955,0.0007059458,0.0007590739,0.002037735,0.0004629811],"domain_scores_gemma":[0.9909804,0.004808612,0.0006981822,0.001914482,0.001313144,0.0002851081],"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.00002607107,0.00006366442,0.0001833618,0.0001840258,0.00002316115,0.00009224761,0.0003733856,0.006905569,0.0009725498,0.9731925,0.00180819,0.01617526],"study_design_scores_gemma":[0.00007265156,0.00005289441,0.0001124488,0.000244937,0.00005618533,0.0002659616,0.0002297791,0.06500287,0.003981886,0.8301978,0.09974272,0.00003998403],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001598928,0.0003215171,0.9839855,0.00106835,0.0001549957,0.0001528259,0.0002096438,0.001006144,0.01150212],"genre_scores_gemma":[0.1264654,0.001325256,0.858189,0.0007087923,0.000275098,0.0007495489,0.001179441,0.000377476,0.01072987],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009651452,"threshold_uncertainty_score":0.03426397,"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."}}