SPINOSO, SERENA

SPINOSO, SERENA  

Dipartimento di Automatica e Informatica  

031781  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.013 secondi).
Citazione Data di pubblicazione Autori File
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
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
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
Verification and Configuration of Software-based Networks / Spinoso, Serena. - (2017). [10.6092/polito/porto/2676611] 1-gen-2017 SPINOSO, SERENA spinoso_phd_thesis.pdf
A Formal Model of Network Policy Analysis / Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio. - STAMPA. - (2015), pp. 516-522. (Intervento presentato al convegno RTSI 2015 - First International Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel 16-18 September 2015) [10.1109/RTSI.2015.7325150]. 1-gen-2015 VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO 2015RTSI.pdf2015RTSI_author.pdf
Formal verification of Virtual Network Function graphs in an SP-DevOps context / Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; Sisto, Riccardo. - STAMPA. - 9306:(2015), pp. 253-262. (Intervento presentato al convegno European Conference on Service-Oriented and Cloud Computing (ESOCC) tenutosi a Taormina, Italy nel 15-17 September 2015) [10.1007/978-3-319-24072-5_18]. 1-gen-2015 SPINOSO, SERENAVIRGILIO, MATTEOMARCHETTO, GUIDOSISTO, Riccardo + 2015_ESOCC_Verification.pdf
Automatic Configuration of Opaque Network Functions in CMS / Spinoso, Serena; Leogrande, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Singh, S.; Sisto, Riccardo. - STAMPA. - (2014), pp. 750-755. (Intervento presentato al convegno 1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014) tenutosi a London, UK nel 8-11 December, 2014) [10.1109/UCC.2014.122]. 1-gen-2014 SPINOSO, SERENALEOGRANDE, MARCORISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + 14NVSDN-ServiceInsertion.pdf