Archivio Istituzionale della RicercaDURANTE, LUCA
Mostra
records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.025 secondi).
A LOTOS Specification of the SERCOS Field-bus Protocol
1994-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Model for the Analysis of Security Policies in Industrial Networks
2013-01-01 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
2000-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Static Semantic Analyzer for LOTOS Specifications
1993-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012-01-01 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
Automated Fixing of Access Policy Implementation in Industrial Networked Systems
2017-01-01 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks
1995-01-01 Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Dynamic Data Management in STEP
1999-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
2007-01-01 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
2007-01-01 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Formal Specification and Verification of the Real-time Scheduler in FIP
1995-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Graphic LOTOS specification of an EN50254 system
2000-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems
1997-01-01 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Leveraging SDN To Improve Security in Industrial Networks
2017-01-01 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio
A Model for the Analysis of Security Policies in Service Function Chains
2017-01-01 Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
2006-01-01 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
System-Level Performance of an Automation Solution Based on Industry Standards
2014-01-01 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
Toward attribute-based access control policy in industrial networked systems
2018-01-01 Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano
| 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.pdf; 2017WFCS_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.pdf; 2017WFCS_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.pdf; 2017SNS_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.pdf; 2572570-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.pdf; 2018WFCS_author.pdf |