DURANTE, LUCA

DURANTE, LUCA  

002178  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.025 secondi).
Citazione Data di pubblicazione Autori File
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. ((Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June. 1-gen-1994 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
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 State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. ((Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000. 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534]. 1-gen-1993 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
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
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.pdf2017WFCS_ACP_author.pdf
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks / Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 205-211. ((Intervento presentato al convegno 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, AZ, USA nel 28-31 March 1995 [10.1109/PCCC.1995.472490]. 1-gen-1995 CENA, GianlucaDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Dynamic Data Management in STEP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1999), pp. 231-238. ((Intervento presentato al convegno 32th ISATA Int. Conf. nel June 1999. 1-gen-1999 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
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 Specification and Verification of the Real-time Scheduler in FIP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 99-106. ((Intervento presentato al convegno 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95 tenutosi a Leysin, Switzerland nel 4-6 October 1995 [10.1109/WFCS.1995.482655]. 1-gen-1995 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Graphic LOTOS specification of an EN50254 system / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 43-46. ((Intervento presentato al convegno IEEE WFCS2000, WIP Proceedings nel September 2000. 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1997), pp. 71-80. ((Intervento presentato al convegno WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems tenutosi a Barcelona, Spain nel 1-3 October 1997 [10.1109/WFCS.1997.634358]. 1-gen-1997 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
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.pdf2017WFCS_SDN_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.pdf2017SNS_author.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 -
System-Level Performance of an Automation Solution Based on Industry Standards / A., Ballarino; A., Brusaferri; M., Cereia; I. C., Bertolotti; Durante, Luca; Hu, Tingting; E., Leo; L., Nicolosi; L., Seno; S., Spinelli; F., Tramarin; Valenzano, Adriano; S., Vitturi. - (2014), pp. 1-6. ((Intervento presentato al convegno 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) nel 2014. 1-gen-2014 DURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO + Gecko_arch.pdf2572570-mod.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.pdf2018WFCS_author.pdf