SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 50 (tempo di esecuzione: 0.024 secondi).
Citazione Data di pubblicazione Autori File
Automation for network security configuration: state of the art and research trends / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - In: ACM COMPUTING SURVEYS. - ISSN 0360-0300. - ELETTRONICO. - 56:3(2024), pp. 1-37. [10.1145/3616401] 1-gen-2024 Daniele BringhentiGuido MarchettoRiccardo SistoFulvio Valenza Survey_AcceptedManuscript.pdfSurvey_PublishedManuscript.pdf
A novel abstraction for security configuration in virtual networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 228:(2023), pp. 1-13. [10.1016/j.comnet.2023.109745] 1-gen-2023 Daniele BringhentiRiccardo SistoFulvio Valenza COMNET2023-PostPrint.pdfA novel abstraction for security configuration in virtual networks.pdf
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
(User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] 1-gen-2020 Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + 1-s2.0-S2215098619306147-main.pdf
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware / Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE VEHICULAR TECHNOLOGY MAGAZINE. - ISSN 1556-6072. - ELETTRONICO. - 15:3(2020), pp. 77-85. [10.1109/MVT.2020.2980444] 1-gen-2020 Iorio MarcoRisso FulvioSisto RiccardoValenza Fulvio + 09085373.pdf09085373.pdf
Securing SOME/IP for In-Vehicle Service Protection / Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 0018-9545. - ELETTRONICO. - 69:11(2020), pp. 13450-13466. [10.1109/TVT.2020.3028880] 1-gen-2020 Iorio,MarcoRisso,FulvioSisto,RiccardoValenza,Fulvio + 09215036.pdf09215036.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
Formally specifying and checking policies and anomalies in service function chaining / Valenza, F.; Spinoso, S.; Sisto, R.. - In: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS. - ISSN 1084-8045. - 146:(2019), pp. 1-14. [10.1016/j.jnca.2019.102419] 1-gen-2019 Valenza F.Spinoso S.Sisto R. 1-s2.0-S108480451930253X-main.pdf2019JNCA_author.pdf
Multipoint passive monitoring in packet networks / Cociglio, Mauro; Fioccola, Giuseppe; Marchetto, Guido; Sapio, Amedeo; Sisto, Riccardo. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - 27:6(2019), pp. 2377-2390. [10.1109/TNET.2019.2950157] 1-gen-2019 Guido MarchettoAmedeo SapioRiccardo Sisto + FINAL VERSION.PDF08901157.pdf
An efficient data exchange mechanism for chained network functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto. - In: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. - ISSN 0743-7315. - STAMPA. - 114:(2018), pp. 1-15. [10.1016/j.jpdc.2017.12.003] 1-gen-2018 Ivano CerratoGuido MarchettoFulvio RissoRiccardo SistoMatteo VirgilioRoberto Bonafiglia sharedBuffer.pdf18JPDC-SharedBuffer-published.pdf
Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317. [10.1007/s00165-017-0449-8] 1-gen-2018 Sisto, RiccardoBettassa Copet, PiergiuseppeAvalle, Matteo + AuthorsPostPrint.pdf10.1007_s00165-017-0449-8.pdf
Seamless configuration of virtual network functions in data center provider networks / Spinoso, Serena; Leogrande, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Singh, Sushil; Sisto, Riccardo. - In: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT. - ISSN 1064-7570. - STAMPA. - 26:1(2018), pp. 222-249. [10.1007/s10922-017-9414-3] 1-gen-2018 SPINOSO, SERENALEOGRANDE, MARCORISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + 17JNSM-ConfigVNF.pdf18JNSM-ConfigVNF-personal-copy.pdf
A formal approach for network security policy validation / Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco. - In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS. - ISSN 2093-5374. - STAMPA. - 8:1(2017), pp. 79-100. [10.22667/JOWUA.2017.03.31.079] 1-gen-2017 VALENZA, FULVIOSU, TAOSPINOSO, SERENALIOY, ANTONIOSISTO, RiccardoVALLINI, MARCO 2017JOWUA.pdf
Formal verification of LTE-UMTS and LTE–LTE handover procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50:(2017), pp. 92-106. [10.1016/j.csi.2016.08.009] 1-gen-2017 BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + paper.pdf1-s2.0-S092054891630071X-main.pdf
Push applications and dynamic content generation over content-centric networking / Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS. - ISSN 1099-1131. - STAMPA. - 30:3(2017), pp. 1-16. [10.1002/dac.2964] 1-gen-2017 VIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo 2017_IJCS.pdf
DynNav: Toward Open and Interoperable Navigation Services / Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.. - In: IT PROFESSIONAL. - ISSN 1520-9202. - STAMPA. - 18:2(2016), pp. 35-41. [10.1109/MITP.2016.20] 1-gen-2016 Bettassa Copet, P.RISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + IT_ITPro-2014-03-0027.R2_Bettassa.pdf16ITPro-Dynnav-published.pdf