Archivio Istituzionale della RicercaYUSUPOV, JALOLLIDDIN
YUSUPOV, JALOLLIDDIN
Dipartimento di Automatica e Informatica
042914
Automated firewall configuration in virtual networks
2023 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks
2022 Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; Sisto, Riccardo; Bernabe, Jorge Bernal; Skarmeta, Antonio
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin
A Framework for Verification-Oriented User-Friendly Network Function Modeling
2019 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
A VNF modeling approach for verification purposes
2019 Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Automated firewall configuration in virtual networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - 20:2(2023), pp. 1559-1576. [10.1109/TDSC.2022.3160293] | 1-gen-2023 | Daniele BringhentiGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov | TDSC2022.pdf; Automated_Firewall_Configuration_in_Virtual_Networks.pdf |
| Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks / Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; Sisto, Riccardo; Bernabe, Jorge Bernal; Skarmeta, Antonio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 213:(2022), pp. 109-123. [10.1016/j.comnet.2022.109123] | 1-gen-2022 | Bringhenti, DanieleYusupov, JalolliddinValenza, FulvioSisto, Riccardo + | AuthorManuscript.pdf; CN-2022.pdf |
| A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 17:2(2021), pp. 1515-1525. [10.1109/tii.2020.3002816] | 1-gen-2021 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin + | TII2021.pdf; 09119174.pdf |
| Improving the formal verification of reachability policies in virtualized networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 18:1(2021), pp. 713-728. [10.1109/TNSM.2020.3045781] | 1-gen-2021 | Daniele BringhentiGuido MarchettoRiccardo SistoSerena SpinosoFulvio ValenzaJalolliddin Yusupov | TNSM2021.pdf; TNSM09298793.pdf |
| A Framework for Verification-Oriented User-Friendly Network Function Modeling / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE ACCESS. - ISSN 2169-3536. - 7:(2019), pp. 99349-99359. [10.1109/ACCESS.2019.2929325] | 1-gen-2019 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | 08765301.pdf |
| A VNF modeling approach for verification purposes / Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - 9:4(2019), pp. 2627-2636. [10.11591/ijece.v9i4.pp2627-2636] | 1-gen-2019 | Marchetto G.Sisto R.Virgilio M.Yusupov J. | document.pdf |