Ушбу ишга иқтибос қилган ишлар

2 та иш

Иш: Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement

1. Automated Firewall Configuration in Virtual Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +2

   МақолаSoftware-Defined Networks and 5GIEEE Transactions on Dependable and Secure Computing20220 иқтибос

   ABIABI:AkademIndex/openalex/2022.article.000094

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 Networks20220 иқтибос

   ABIABI:AkademIndex/openalex/2022.article.000243