YUSUPOV, JALOLLIDDIN

YUSUPOV, JALOLLIDDIN  

Dipartimento di Automatica e Informatica  

042914  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
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.pdfAutomated_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.pdfCN-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.pdf09119174.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.pdfTNSM09298793.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