SPINOSO, SERENA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin
Formally specifying and checking policies and anomalies in service function chaining
2019 Valenza, F.; Spinoso, S.; Sisto, R.
Seamless configuration of virtual network functions in data center provider networks
2018 Spinoso, Serena; Leogrande, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Singh, Sushil; Sisto, Riccardo
A formal approach for network security policy validation
2017 Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco
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.pdf; TNSM09298793.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.pdf; 2019JNCA_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.pdf; 18JNSM-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 |