{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002665168,0.0001706556,0.0002060316,0.0000441496,0.0002149214,0.0003000194,0.0006444889,0.00006882409,0.00000656941],"category_scores_gemma":[0.00001415666,0.0001763177,0.00009889931,0.000852245,0.00001804763,0.0004983426,0.0007910158,0.0001703931,0.00004827204],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005263908,"about_ca_system_score_gemma":0.00007257367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000109982,"about_ca_topic_score_gemma":0.000006828655,"domain_scores_codex":[0.9983315,0.0000958693,0.0002310901,0.00053769,0.0002740529,0.0005297978],"domain_scores_gemma":[0.9989452,0.00009928511,0.00006055663,0.0005807686,0.000106033,0.0002081222],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003624446,0.0007168216,0.003963332,0.0001083454,0.0001397574,0.0001527361,0.009999461,0.1135054,0.00008472127,0.2688482,0.3193364,0.2831085],"study_design_scores_gemma":[0.001241746,0.0001912521,0.009429872,0.00009205245,0.00002261159,0.0001982691,0.0000907284,0.8914482,0.0003831887,0.02630314,0.0696855,0.000913418],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009036877,0.0003972218,0.9858925,0.0006509606,0.001359359,0.0001875842,0.000002245251,0.0003257478,0.00214754],"genre_scores_gemma":[0.4602894,0.00001877499,0.534098,0.004759685,0.0006960001,0.00003085035,0.00004534629,0.00001433818,0.00004757533],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7779428,"threshold_uncertainty_score":0.7190025,"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."}}