A Formal Approach to Network Segmentation
Article in Computers & Security (January 2021)
The most recent citing publications are shown below. View all 168 publications that cite this research output on Dimensions.
Article in Computers & Security (January 2021)
Article in Journal of Logical and Algebraic Methods in Programming (December 2020)
Article in ACM Computing Surveys (July 2020)