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, M., Durante, L., Valenza, F., Valenzano, A.. - ELETTRONICO. - 2018-:(2018), pp. 1-9. (14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 ita 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, L., Lucia, S., Valenza, F., Valenzano, A.. - ELETTRONICO. - (2017). (Second IEEE International Workshop on Security in NFV-SDN (SNS2017) 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, M., Durante, L., Seno, L., Valenza, F., Valenzano, A.. - ELETTRONICO. - (2017). (13th IEEE International Workshop on Factory Communication Systems Trondheim (NO) 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, M., Durante, L., Seno, L., Valenza, F., Valenzano, A., Zunino, C.. - ELETTRONICO. - (2017). (13th IEEE International Workshop on Factory Communication Systems Trondheim (NO) 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. (IEEE 10th International Workshop on Factory Communication Systems (WFCS) Toulouse (FRA) 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., B., A., B., M., C., I. C., B., Durante, L., Hu, T., E., L., L., N., L., S., S., S., F., T., Valenzano, A., S., V.. - (2014), pp. 1-6. (19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) 2014). | 1-gen-2014 | DURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO + | 2572570-mod.pdf |
| A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, I., Durante, L., Hu, T., Valenzano, A.. - STAMPA. - (2013), pp. 66-77. (1st International Symposium for ICS and SCADA Cyber Security Research 2013). | 1-gen-2013 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, I., Durante, L., Hu, T., Valenzano, A.. - STAMPA. - (2012), pp. 1-6. (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, M., BERTOLOTTI I., C., Durante, L., Valenzano, A.. - (2008). (2008 IEEE International Workshop on Factory Communication Systems (WFCS 2008) Dresden, Germany May 21-23 2008). | 1-gen-2008 | CHEMINOD, MANUELDURANTE L + | - |
| Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, M., CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2007), pp. 11-18. (Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska Poreba (Poland) 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, M., CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2007), pp. 153-160. (Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska (Poland) 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, D., Sisto, R., Durante, L., Valenzano, A.. - (2006). (COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware New Delhi, India 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, M., CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2006), pp. 273-282. (Factory Communication Systems, 2006 IEEE International Workshop on Torino 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, R., Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. (Second International Conference, DIMVA 2005 Vienna (AT) 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, R., Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC Taipei (TW) 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, D., Sisto, R., Durante, L.. - STAMPA. - 1:(2004), pp. 400-405. (18th International Conference on Advanced Information, Networking and Applications Fukuoka, Japan 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, R., Valenzano, A.. - STAMPA. - 2619:(2003), pp. 284-298. (9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw (PL) 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, R., Valenzano, A.. - STAMPA. - 2767:(2003), pp. 224-239. (23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) Berlin (DE) 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, L., Sisto, R., Valenzano, A.. - STAMPA. - (2000), pp. 155-170. (FORTE/PSTV 2000 Joint Int. Conf. Pisa October 2000). | 1-gen-2000 | DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Graphic LOTOS specification of an EN50254 system / Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2000), pp. 43-46. (IEEE WFCS2000, WIP Proceedings September 2000). | 1-gen-2000 | DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |