{"id":"W103353880","doi":"","title":"Automatic Enforcement of Security in Computer Networks","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Process calculus; Security policy; Equivalence (formal languages); Network security policy; Enforcement; Network security; Computer security model; Process (computing); Computer security; Network Access Control; Operator (biology); Theoretical computer science; Security service; Information security; Programming language; Cloud computing security; Mathematics; Discrete 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.004519743,0.000500898,0.0005131774,0.0006960382,0.0009122512,0.002029247,0.001765588,0.0009183524,0.001569214],"category_scores_gemma":[0.01028059,0.0005509182,0.0008712728,0.000421416,0.003242462,0.003841097,0.002709294,0.001730315,0.0002793387],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001496746,"about_ca_system_score_gemma":0.001434326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001617489,"about_ca_topic_score_gemma":0.001660248,"domain_scores_codex":[0.9932348,0.002848061,0.0004697094,0.001049886,0.001927044,0.0004705487],"domain_scores_gemma":[0.9922098,0.004139438,0.0007885153,0.0020882,0.0006324,0.0001416087],"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.0003381358,0.0001892322,0.00223635,0.0003110151,0.00007066021,0.0005354726,0.000970725,0.2108254,0.06420714,0.6080845,0.001337842,0.1108937],"study_design_scores_gemma":[0.00008876563,0.0001166686,0.000455721,0.00008280765,0.0000463301,0.0002827991,0.0001031823,0.7029511,0.070525,0.2111887,0.01410565,0.00005340404],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03313118,0.0001039499,0.9617022,0.0001991836,0.00003370423,0.00009025828,0.00003293578,0.002238968,0.002467654],"genre_scores_gemma":[0.6736315,0.0002145943,0.3226168,0.0001309547,0.00004457479,0.0001777672,0.0001134041,0.0003378947,0.002732388],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004519743,"threshold_uncertainty_score":0.02390301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1019844866320847,"score_gpt":0.3779052055618389,"score_spread":0.2759207189297542,"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."}}