PORTO @ Archivio Istituzionale della Ricerca

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

CHEMINOD, MANUEL

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Dettaglio

Nome completo:

CHEMINOD, MANUEL

Link esterni:

Pagina personale

Elenco pubblicazioni in formato JSON:

Pubblicazioni

Pubblicazioni (Tutti)

Risultati 1 - 10 di 10 (tempo di esecuzione: 0.001 secondi).

	Citazione	Data di pubblicazione	Autori	File
1	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.	2018	CHEMINOD, MANUEL ; DURANTE, LUCA ; VALENZA, FULVIO ; VALENZANO, ADRIANO	-
2	Tools for cryptographic protocols analysis: A technical and experimental comparison / CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 31(5)(2009), pp. 954-961.	2009	CHEMINOD, MANUEL ; BERTOLOTTI I. CIBRARIO; DURANTE, LUCA ; SISTO, Riccardo ; VALENZANO, ADRIANO	-
3	On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A. - STAMPA. - (2006), pp. 273-282. ((Intervento presentato al convegno Factory Communication Systems, 2006 IEEE International Workshop on tenutosi a Torino nel 28-30 June, 2006.	2006	CHEMINOD, MANUEL ; CIBRARIO BERTOLOTTI, IVAN ; DURANTE, LUCA ; SISTO, Riccardo ; VALENZANO, ADRIANO	-
4	On the Analysis of Vulnerability Chains in Industrial Networks / CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; VALENZANO A. - (2008). ((Intervento presentato al convegno 2008 IEEE International Workshop on Factory Communication Systems (WFCS 2008) tenutosi a Dresden, Germany nel May 21-23 2008.	2008	CHEMINOD, MANUEL ; BERTOLOTTI I. CIBRARIO; DURANTE L; VALENZANO A.	-
5	Leveraging SDN To Improve Security in Industrial Networks / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio. - ELETTRONICO. - (In corso di stampa). ((Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2.	Being printed	CHEMINOD, MANUEL ; DURANTE, LUCA ; Seno, Lucia; VALENZA, FULVIO ; VALENZANO, ADRIANO ; ZUNINO, CLAUDIO	riservati
6	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A. - STAMPA. - (2007), pp. 153-160. ((Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska, Poland nel 14-16 June 2007.	2007	CHEMINOD, MANUEL ; CIBRARIO BERTOLOTTI, IVAN ; DURANTE, LUCA ; SISTO, Riccardo ; VALENZANO, ADRIANO	-
7	Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A. - STAMPA. - (2007), pp. 11-18. ((Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska, Poland nel 14-16 June 2007.	2007	CHEMINOD, MANUEL ; CIBRARIO BERTOLOTTI, IVAN ; DURANTE, LUCA ; SISTO, Riccardo ; VALENZANO, ADRIANO	-
8	Detecting Chains of Vulnerabilities in Industrial Networks / CHEMINOD M; CIBRARIO BERTOLOTTI I; DURANTE L; MAGGI P; POZZA D; SISTO R.; AND VALENZANO A. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193.	2009	CHEMINOD, MANUEL ; CIBRARIO BERTOLOTTI, IVAN ; DURANTE, LUCA ; MAGGI, Paolo ; POZZA, DAVIDE ; SISTO, Riccardo ; VALENZANO, ADRIANO	riservati
9	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.	2019	CHEMINOD, MANUEL ; DURANTE, LUCA ; Seno, Lucia; VALENZA, FULVIO ; VALENZANO, ADRIANO	-
10	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.	2017	CHEMINOD, MANUEL ; DURANTE, LUCA ; Seno, Lucia; VALENZA, FULVIO ; VALENZANO, ADRIANO	riservati