Работы, цитирующие эту работу

Работ: 2

1. Improving the Formal Verification of Reachability Policies in Virtualized Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +3

   СтатьяSoftware-Defined Networks and 5GIEEE Transactions on Network and Service Management2020Цитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.062452

2. Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks

   Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca +4

   СтатьяSoftware-Defined Networks and 5GComputer Networks2022Цитирований: 0

   ABIABI:AkademIndex/openalex/2022.article.000243