PORTO @ Archivio Istituzionale della Ricerca

YUSUPOV, JALOLLIDDIN

YUSUPOV, JALOLLIDDIN  

042914  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.025 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.pdf; Automated_Firewall_Configuration_in_Virtual_Networks.pdf
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin - In: Handbook of Formal Analysis and Verification in Cryptography / Akleylek S., Dundua B.. - ELETTRONICO. - [s.l] : CRC Press, 2023. - ISBN 978-0-367-54665-6. [10.1201/9781003090052-2] 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, FulvioYusupov, Jalolliddin AcceptedChapter.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
Automated optimal firewall orchestration and configuration in virtualized networks / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.. - ELETTRONICO. - (2020), pp. 1-7. (Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a Budapest (HU) nel 2020) [10.1109/NOMS47738.2020.9110402]. 1-gen-2020 Bringhenti D.Marchetto G.Sisto R.Valenza F.Yusupov J. noms.pdf; 2020NOMS_VEREFOO_author.pdf
Formal assurance of security policies in automated network orchestration (SDN/NFV) / Yusupov, Jalolliddin. - (2020 May 29), pp. 1-130. 29-mag-2020 YUSUPOV, JALOLLIDDIN conv_thesis_yusupov_v1.pdf; conv_simple_single_page_abstract.pdf
Introducing programmability and automation in the synthesis of virtual firewall rules / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2020), pp. 473-478. (Intervento presentato al convegno 2nd International Workshop on Cyber-Security Threats, Trust and Privacy Management in Software-defined and Virtualized Infrastructures (SecSoft), co-located with 2020 6th IEEE Conference on Network Softwarization (NetSoft) tenutosi a Ghent, Belgium nel 2020) [10.1109/NetSoft48620.2020.9165434]. 1-gen-2020 Bringhenti, DanieleMarchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin main.pdf; secsoft.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
Automated Security Management for Virtual Services / Repetto, M.; Carrega, A.; Yusupov, J.; Valenza, F.; Risso, F.; Lamanna, G.. - ELETTRONICO. - (2019). (Intervento presentato al convegno 2019 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)) [10.1109/NFV-SDN47374.2019.9040069]. 1-gen-2019 J. YusupovF. ValenzaF. Risso + nfv sdn.pdf; Automated_Security_Management_for_Virtual_Services.pdf
Towards a fully automated and optimized network security functions orchestration / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2019), pp. 1-7. (Intervento presentato al convegno 4th IEEE International Conference on Computing, Communications and Security tenutosi a Rome, Italy nel October 2019) [10.1109/CCCS.2019.8888130]. 1-gen-2019 BRINGHENTI, DANIELEGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov main.pdf; main-2.pdf
Formally verified latency-aware VNF placement in industrial Internet of things / Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen. - 2018-:(2018), pp. 1-9. (Intervento presentato al convegno 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 tenutosi a ita nel 2018) [10.1109/WFCS.2018.8402355]. 1-gen-2018 Marchetto, GuidoSisto, RiccardoYusupov, Jalolliddin + wfcs.pdf
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks / Yusupov, J.; Ksentini, A.; Marchetto, G.; Sisto, R.. - (2018), pp. 1-6. (Intervento presentato al convegno 2018 IEEE Conference on Standards for Communications and Networking, CSCN 2018 tenutosi a fra nel 2018) [10.1109/CSCN.2018.8581714]. 1-gen-2018 Yusupov J.Marchetto G.Sisto R. + cscn submitted.pdf
Virtual Network Embedding with Formal Reachability Assurance / Marchetto, G.; Sisto, R.; Yusupov, J.; Ksentini, A.. - (2018), pp. 368-372. (Intervento presentato al convegno 14th International Conference on Network and Service Management, CNSM 2018 and Workshops, 1st International Workshop on High-Precision Networks Operations and Control, HiPNet 2018 and 1st Workshop on Segment Routing and Service Function Chaining, SR+SFC 2018 tenutosi a ita nel 2018). 1-gen-2018 Marchetto G.Sisto R.Yusupov J. + cnsm.pdf
A framework for user-friendly verification-oriented VNF modeling / Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin. - ELETTRONICO. - 1:(2017), pp. 517-522. (Intervento presentato al convegno IEEE Computer Software and Applications Conference (COMPSAC) tenutosi a Turin, Italy nel July 4-8, 2017) [10.1109/COMPSAC.2017.16]. 1-gen-2017 MARCHETTO, GUIDOSISTO, RiccardoVIRGILIO, MATTEOYUSUPOV, JALOLLIDDIN -