• Aiuto
  • Sfoglia

    • CHEMINOD, MANUEL

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    CHEMINOD, MANUEL
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Tutti)

    Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).

    CitazioneData di pubblicazioneAutoriFile
    1Tools 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.2009CHEMINOD, MANUEL  ; DURANTE, LUCA  ; SISTO, Riccardo  ; VALENZANO, ADRIANO  -
    2On 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.2006CHEMINOD, MANUEL  ; CIBRARIO BERTOLOTTI, IVAN  ; DURANTE, LUCA  ; SISTO, Riccardo  ; VALENZANO, ADRIANO  -
    3On 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.2008CHEMINOD, MANUEL  ; -
    4Leveraging 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 printedCHEMINOD, MANUEL  ; DURANTE, LUCA  ; VALENZA, FULVIO  ; VALENZANO, ADRIANO  ; ZUNINO, CLAUDIO    riservati
    5Experimental 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.2007CHEMINOD, MANUEL  ; CIBRARIO BERTOLOTTI, IVAN  ; DURANTE, LUCA  ; SISTO, Riccardo  ; VALENZANO, ADRIANO  -
    6Evaluating 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.2007CHEMINOD, MANUEL  ; CIBRARIO BERTOLOTTI, IVAN  ; DURANTE, LUCA  ; SISTO, Riccardo  ; VALENZANO, ADRIANO  -
    7Detecting 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.2009CHEMINOD, MANUEL  ; CIBRARIO BERTOLOTTI, IVAN  ; DURANTE, LUCA  ; MAGGI, Paolo  ; POZZA, DAVIDE  ; SISTO, Riccardo  ; VALENZANO, ADRIANO    riservati
    8Automated 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.2017CHEMINOD, MANUEL  ; DURANTE, LUCA  ; VALENZA, FULVIO  ; VALENZANO, ADRIANO    riservati

     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2018