CIBRARIO BERTOLOTTI, IVAN

CIBRARIO BERTOLOTTI, IVAN  

I. . Bertolotti  

011741  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.014 secondi).
Citazione Data di pubblicazione Autori File
A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. ((Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013. 1-gen-2013 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO Durante13_ICS_CSR.pdf
A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. ((Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications [10.1109/ESTEL.2012.6400068]. 1-gen-2012 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO Durante12_ESTEL.pdf
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-10. ((Intervento presentato al convegno Congresso Nazionale AICA. 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING Hu11_AICA_lwIP.pdf
Design, verification, and performance of a MODBUS-CAN adaptation layer / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ((Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014 [10.1109/WFCS.2014.6837605]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO modbus_can.pdf
Effect of jitter-reducing encoders on CAN error detection mechanisms / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ((Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014 [10.1109/WFCS.2014.6837604]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO error_detectability.pdf
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - 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 [10.1109/DEPCOS-RELCOMEX.2007.22]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - 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 [10.1109/DEPCOS-RELCOMEX.2007.24]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Formal Verification of a Distributed Master Election Protocol / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2012), pp. 245-254. ((Intervento presentato al convegno IEEE International Workshop on Factory Communication Systems (WFCS 2012) [10.1109/WFCS.2012.6242572]. 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTING Hu12a_WFCS_SPIN_Xplore.pdf
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - 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. 1-gen-2006 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO Cena12b_ETFA_can_stat.pdf
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO Cena12c_ETFA_cpu_can_jitter.pdf
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011) [10.1109/ETFA.2011.6059000]. 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING Hu11_ETFA_lwIP.pdf