Archivio Istituzionale della RicercaDURANTE, LUCA
Toward attribute-based access control policy in industrial networked systems
2018 Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano
A Model for the Analysis of Security Policies in Service Function Chains
2017 Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano
Automated Fixing of Access Policy Implementation in Industrial Networked Systems
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Leveraging SDN To Improve Security in Industrial Networks
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio
On the description of access control policies in networked industrial systems
2014 Cheminod, M.; Durante, L.; Seno, L.; Valenzano, A.
System-Level Performance of an Automation Solution Based on Industry Standards
2014 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
A Model for the Analysis of Security Policies in Industrial Networks
2013 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
On the Analysis of Vulnerability Chains in Industrial Networks
2008 Cheminod, Manuel; BERTOLOTTI I., Cibrario; Durante, L; Valenzano, A.
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software
2006 Pozza, Davide; Sisto, Riccardo; Durante, L; Valenzano, A.
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
2006 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study
2005 CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.
Exploiting Symmetries for Testing Equivalence in the Spi Calculus
2004 CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.
Spi2Java: automatic cryptographic protocol java code generation from spi calculus
2004 Pozza, Davide; Sisto, Riccardo; Durante, L.
A new knowledge representation strategy for cryptographic protocol analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Graphic LOTOS specification of an EN50254 system
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
| 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.pdf; 2018WFCS_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.pdf; 2017SNS_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.pdf; 2017WFCS_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.pdf; 2017WFCS_SDN_author.pdf |
| On the description of access control policies in networked industrial systems / Cheminod, M.; Durante, L.; Seno, L.; Valenzano, A.. - (2014), pp. 1-10. (Intervento presentato al convegno IEEE 10th International Workshop on Factory Communication Systems (WFCS) tenutosi a Toulouse (FRA) nel May 5-7, 2014) [10.1109/wfcs.2014.6837594]. | 1-gen-2014 | Cheminod, M.Durante, L.Valenzano, A. + | 21_281423_GrOA.pdf; On_the_description_of_access_control_policies_in_networked_industrial_systems.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.pdf; Spi2Java_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 | - |