A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Industrial Informatics"
DOI: 10.1109/tii.2020.3002816
Abstract: The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication… read more here.
Keywords: formal approach; connectivity; approach verify; verify connectivity ... See more keywords