Neerja Mhaskar, Mohammed Alabbad, Ridha Khédri. A Formal Approach to Network Segmentation. Computers & Security, 103:102162, 2021. [doi]
@article{MhaskarAK21, title = {A Formal Approach to Network Segmentation}, author = {Neerja Mhaskar and Mohammed Alabbad and Ridha Khédri}, year = {2021}, doi = {10.1016/j.cose.2020.102162}, url = {https://doi.org/10.1016/j.cose.2020.102162}, researchr = {https://researchr.org/publication/MhaskarAK21}, cites = {0}, citedby = {0}, journal = {Computers & Security}, volume = {103}, pages = {102162}, }