Archivio Istituzionale della RicercaSfoglia per Autore
Automatic discovery of software attacks via backward reasoning
2015 Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio
A Formal Model of Network Policy Analysis
2015 Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio
A novel approach for integrating security policy enforcement with dynamic network virtualization
2015 Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco
Inter-technology conflict analysis for communication protection policies
2015 Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio
Towards the Dynamic Provision of Virtualized Security Services
2015 Basile, Cataldo; Pitscheider, Christian; Risso, FULVIO GIOVANNI OTTAVIO; Valenza, Fulvio; Vallini, Marco
Online and offline security policy assessment
2016 Valenza, Fulvio; Vallini, Marco; Lioy, Antonio
Inter-function anomaly analysis for correct SDN/NFV deployment
2016 Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio
Modelling and Analysis of Network Security Policies
2017 Valenza, Fulvio
A formal approach for network security policy validation
2017 Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco
Classification and analysis of communication protection policy anomalies
2017 Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio
Leveraging SDN To Improve Security in Industrial Networks
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio
Automated Fixing of Access Policy Implementation in Industrial Networked Systems
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Assessing network authorization policies via reachability analysis
2017 Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio
A Model for the Analysis of Security Policies in Service Function Chains
2017 Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano
User-oriented Network Security Policy Specification
2018 Valenza, Fulvio; Lioy, Antonio
Toward attribute-based access control policy in industrial networked systems
2018 Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano
On the impossibility of effectively using likely-invariants for software attestation purposes
2018 Viticchie', Alessio; Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio
Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP
2019 Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto
Automated Security Management for Virtual Services
2019 Repetto, M.; Carrega, A.; Yusupov, J.; Valenza, F.; Risso, F.; Lamanna, G.
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Automatic discovery of software attacks via backward reasoning / Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio. - ELETTRONICO. - ICSE 2015 International Workshop on Software Protection (SPRO 2015):(2015). (Intervento presentato al convegno ICSE International Workshop on Software Protection (SPRO 2015) tenutosi a Firenze nel 19 Maggio 2015) [10.1109/SPRO.2015.17]. | 1-gen-2015 | BASILE, CATALDOCANAVESE, DANIELEVALENZA, FULVIO + | 2015SPRO_author.pdf; 2015SPRO.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.pdf; 2015RTSI_author.pdf |
| A novel approach for integrating security policy enforcement with dynamic network virtualization / Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco. - STAMPA. - (2015). (Intervento presentato al convegno 1st IEEE Conference on Network Softwarization (NetSoft-2015) tenutosi a London (UK) nel 13-17 April 2015) [10.1109/NETSOFT.2015.7116152]. | 1-gen-2015 | BASILE, CATALDOLIOY, ANTONIOPITSCHEIDER, CHRISTIANVALENZA, FULVIOVALLINI, MARCO | 2015Netsoft.pdf; 2015Netsoft_author.pdf |
| Inter-technology conflict analysis for communication protection policies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - STAMPA. - (2015), pp. 148-163. (Intervento presentato al convegno CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems tenutosi a Trento (Italy) nel 27-29 August 2014) [10.1007/978-3-319-17127-2_10]. | 1-gen-2015 | VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO | 2015CRISIS_author.pdf; 2015CRISIS.pdf |
| Towards the Dynamic Provision of Virtualized Security Services / Basile, Cataldo; Pitscheider, Christian; Risso, FULVIO GIOVANNI OTTAVIO; Valenza, Fulvio; Vallini, Marco - In: Cyber Security and Privacy / Cleary F., Felici M.. - STAMPA. - [s.l] : Springer International Publishing, 2015. - ISBN 978-3-319-25359-6. - pp. 65-76 [10.1007/978-3-319-25360-2_6] | 1-gen-2015 | BASILE, CATALDOPITSCHEIDER, CHRISTIANRISSO, FULVIO GIOVANNI OTTAVIOVALENZA, FULVIOVALLINI, MARCO | 2015CSP_author.pdf; 2015CSP.pdf |
| Online and offline security policy assessment / Valenza, Fulvio; Vallini, Marco; Lioy, Antonio. - STAMPA. - (2016), pp. 101-104. (Intervento presentato al convegno MIST’16: 8th ACM CCS international workshop on Managing Insider Security Threats tenutosi a Vienna (Austria) nel October 28, 2016) [10.1145/2995959.2995970]. | 1-gen-2016 | VALENZA, FULVIOVALLINI, MARCOLIOY, ANTONIO | 2016MIST.pdf; 2016MIST_author.pdf |
| Inter-function anomaly analysis for correct SDN/NFV deployment / Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio. - In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT. - ISSN 1055-7148. - STAMPA. - 26:1(2016), pp. 25-43. [10.1002/nem.1917] | 1-gen-2016 | BASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIOPITSCHEIDER, CHRISTIANVALENZA, FULVIO | 2016IJNM.pdf; 2016IJNM_author.pdf |
| Modelling and Analysis of Network Security Policies / Valenza, Fulvio. - (2017). [10.6092/polito/porto/2676486] | 1-gen-2017 | VALENZA, FULVIO | Valenza.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 |
| Classification and analysis of communication protection policy anomalies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 25:5(2017), pp. 2601-2614. [10.1109/TNET.2017.2708096] | 1-gen-2017 | VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO | 07967691.pdf; 2017TNET_author.pdf |
| Leveraging SDN To Improve Security in Industrial Networks / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio. - ELETTRONICO. - (2017). (Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2) [10.1109/WFCS.2017.7991960]. | 1-gen-2017 | CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANOZUNINO, CLAUDIO + | 07991960.pdf; 2017WFCS_SDN_author.pdf |
| Automated Fixing of Access Policy Implementation in Industrial Networked Systems / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). (Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2) [10.1109/WFCS.2017.7991947]. | 1-gen-2017 | CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 2017WFCS_ACP.pdf; 2017WFCS_ACP_author.pdf |
| Assessing network authorization policies via reachability analysis / Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio. - In: COMPUTERS & ELECTRICAL ENGINEERING. - ISSN 0045-7906. - STAMPA. - 64:(2017), pp. 110-131. [10.1016/j.compeleceng.2017.02.019] | 1-gen-2017 | BASILE, CATALDOCANAVESE, DANIELEPITSCHEIDER, CHRISTIANLIOY, ANTONIOVALENZA, FULVIO | 1-s2.0-S0045790617303695-main.pdf; 2017CAEE_author.pdf |
| A Model for the Analysis of Security Policies in Service Function Chains / Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). (Intervento presentato al convegno Second IEEE International Workshop on Security in NFV-SDN (SNS2017) tenutosi a BOLOGNA (IT)) [10.1109/NETSOFT.2017.8004230]. | 1-gen-2017 | DURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 08004230.pdf; 2017SNS_author.pdf |
| User-oriented Network Security Policy Specification / Valenza, Fulvio; Lioy, Antonio. - In: JOURNAL OF INTERNET SERVICES AND INFORMATION SECURITY. - ISSN 2182-2069. - STAMPA. - 8:2(2018), pp. 33-47. [10.22667/JISIS.2018.05.31.033] | 1-gen-2018 | Fulvio ValenzaAntonio Lioy | jisis-2018-vol8-no2-03.pdf |
| Toward attribute-based access control policy in industrial networked systems / Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - 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.8402339]. | 1-gen-2018 | Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano | 2018WFCS.pdf; 2018WFCS_author.pdf |
| On the impossibility of effectively using likely-invariants for software attestation purposes / Viticchie', Alessio; Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio. - In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS. - ISSN 2093-5374. - STAMPA. - 9:2(2018), pp. 1-25. [10.22667/JOWUA.2018.06.30.001] | 1-gen-2018 | Alessio ViticchiéCataldo BasileFulvio ValenzaAntonio Lioy | 2018BasileInvariants.pdf |
| Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP / Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto. - (2019). | 1-gen-2019 | Marco IorioFulvio RissoRiccardo SistoFulvio Valenza + | - |
| 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 |
| A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] | 1-gen-2019 | Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + | main.pdf; 1-s2.0-S0167404818303870-main.pdf |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile