Works citing this work

1 works

Work: Improving the Formal Verification of Reachability Policies in Virtualized Networks

1. Automated Firewall Configuration in Virtual Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +2

   ArticleSoftware-Defined Networks and 5GIEEE Transactions on Dependable and Secure Computing20220 citations

   ABIABI:AkademIndex/openalex/2022.article.000094