DURANTE, LUCA

DURANTE, LUCA  

002178  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.043 secondi).
Citazione Data di pubblicazione Autori File
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
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
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
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
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 + 2572570-mod.pdf
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 -
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 -
On the Analysis of Vulnerability Chains in Industrial Networks / Cheminod, Manuel; 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). 1-gen-2008 CHEMINOD, MANUELDURANTE L + -
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 Poreba (Poland) nel 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.22]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO Evaluating_the_Combined_Effect_of_Vulnerabilities_and_Faults_on_Large_Distributed_Systems.pdf
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 Experimental_Comparison_of_Automatic_Tools_for_the_Formal_Analysis_of_Cryptographic_Protocols.pdf
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software / Pozza, Davide; Sisto, Riccardo; Durante, L; Valenzano, A.. - (2006). (Intervento presentato al convegno COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware tenutosi a New Delhi, India nel 08-12 January 2006) [10.1109/COMSWA.2006.1665217]. 1-gen-2006 POZZA, DAVIDESISTO, RiccardoDURANTE L + Comparing_Lexical_Analysis_Tools_for_Buffer_Overflow_Detection_in_Network_Software.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) [10.1109/WFCS.2006.1704167]. 1-gen-2006 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO On_the_use_of_automatic_tools_for_the_formal_analysis_of_IEEE_802.11_key-exchange_protocols.pdf
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. (Intervento presentato al convegno Second International Conference, DIMVA 2005 tenutosi a Vienna (AT) nel July 7-8, 2005) [10.1007/11506881_5]. 1-gen-2005 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. document.pdf
Exploiting Symmetries for Testing Equivalence in the Spi Calculus / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. (Intervento presentato al convegno Second International Conference, ATVA 2004, Taipei, Taiwan, ROC tenutosi a Taipei (TW) nel October 31-November 3, 2004) [10.1007/978-3-540-30476-0_15]. 1-gen-2004 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. 978-3-540-30476-0_15.pdf
Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - STAMPA. - 1:(2004), pp. 400-405. (Intervento presentato al convegno 18th International Conference on Advanced Information, Networking and Applications tenutosi a Fukuoka, Japan nel March 2004) [10.1109/AINA.2004.1283943]. 1-gen-2004 POZZA, DAVIDESISTO, RiccardoDURANTE L. AINA2004_author_postprint.pdfSpi2Java_automatic_cryptographic_protocol_Java_code_generation_from_spi_calculus.pdf
A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2619:(2003), pp. 284-298. (Intervento presentato al convegno 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 tenutosi a Warsaw (PL) nel April 7–11, 2003) [10.1007/3-540-36577-X_21]. 1-gen-2003 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 3-540-36577-X_21.pdf
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2767:(2003), pp. 224-239. (Intervento presentato al convegno 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) tenutosi a Berlin (DE) nel September 29 – October 2 2003) [10.1007/978-3-540-39979-7_15]. 1-gen-2003 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 978-3-540-39979-7_15.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 -
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 -
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 -