
PRIMO RICERCATORE CNR-IEIIT (Altro ente)
Consiglio Nazionale delle Ricerche - Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (CNRIEIIT)
Didattica
Insegnamenti
Dottorato di ricerca
- Formal verification of concurrent and distributed software and systems. A.A. 2018/19, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2019/20, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2020/21, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
-
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2019)
A comprehensive approach to the automatic refinement and verification of access control policies. In: COMPUTERS & SECURITY, vol. 80, pp. 186-199. ISSN 0167-4048
Contributo su Rivista -
Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano (2018)
Toward attribute-based access control policy in industrial networked systems. In: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018, ita, 2018, pp. 1-9. ISBN: 9781538610664
Contributo in Atti di Convegno (Proceeding) -
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; ... (2017)
Leveraging SDN To Improve Security in Industrial Networks. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2. ISBN: 978-150905788-7
Contributo in Atti di Convegno (Proceeding) -
Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano (2017)
A Model for the Analysis of Security Policies in Service Function Chains. In: Second IEEE International Workshop on Security in NFV-SDN (SNS2017), BOLOGNA (IT)
Contributo in Atti di Convegno (Proceeding) -
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2017)
Automated Fixing of Access Policy Implementation in Industrial Networked Systems. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2
Contributo in Atti di Convegno (Proceeding)