{"id":"W3118512068","doi":"10.1016/j.cose.2020.102162","title":"A Formal Approach to Network Segmentation","year":2021,"lang":"en","type":"article","venue":"Computers & Security","topic":"Software-Defined Networks and 5G","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Firewall (physics); Segmentation; Distributed computing; Formalism (music); Computer network; Theoretical computer science; The Internet; Software-defined networking; Computer security; Artificial intelligence; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.003379369,0.0009986541,0.0008003329,0.002322301,0.002835136,0.005035894,0.003551311,0.00246508,0.01227455],"category_scores_gemma":[0.007759328,0.001445206,0.002342726,0.002086255,0.008187256,0.01257522,0.004162254,0.004982984,0.001876717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004520432,"about_ca_system_score_gemma":0.002783038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00693018,"about_ca_topic_score_gemma":0.006814273,"domain_scores_codex":[0.9967778,0.001201094,0.0002342364,0.0005606203,0.000851854,0.0003743992],"domain_scores_gemma":[0.9947857,0.003099853,0.0002790637,0.0008439709,0.0007517107,0.000239721],"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.000003814317,0.000006528818,0.00003556795,0.0000148598,0.000002525834,0.00002332407,0.0001135234,0.002288097,0.0001476728,0.9945548,0.0005006422,0.002308655],"study_design_scores_gemma":[0.000009466877,0.000007250466,0.00003303209,0.00002288797,0.00001109283,0.00004949335,0.00008397228,0.0340176,0.000493094,0.951313,0.01394826,0.00001079169],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002087869,0.0001867231,0.9823438,0.001203187,0.00009919203,0.00005028227,0.00009924399,0.0002679143,0.01366188],"genre_scores_gemma":[0.2650969,0.0008702541,0.7065674,0.0009130733,0.0005789187,0.0004801648,0.0005105233,0.0005217302,0.02446105],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01227455,"threshold_uncertainty_score":0.04106241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01329851313150678,"score_gpt":0.2269586706110305,"score_spread":0.2136601574795237,"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."}}