Archivio Istituzionale della RicercaDURANTE, LUCA
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.022 secondi).
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Review of Security Issues in Industrial Networks
2013 Cheminod, Manuel; Durante, Luca; Valenzano, Adriano
Detecting Chains of Vulnerabilities in Industrial Networks
2009 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano
Tools for cryptographic protocols analysis: A technical and experimental comparison
2009 Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A.
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
2008 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Improving the Security of Industrial Networks by means of Formal Verification
2007 CIBRARIO BERTOLOTTI, I; Durante, L; Maggi, P; Sisto, Riccardo; Valenzano, A.
Exploiting symmetries for testing equivalence verification in the SPI calculus
2006 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
Automatic testing equivalence verification of spi calculus specifications
2003 Durante, L; Sisto, Riccardo; Valenzano, A.
On the performance of the IEC 61158 Fieldbus
1999 Durante, Luca; Valenzano, Adriano
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks
1997 Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.
Standard field bus networks for industrial applications
1995 Cena, Gianluca; Durante, Luca; Valenzano, Adriano
Implementation of Static Semantic Analysis of LOTOS Specifications
1994 Durante, L; Sisto, Riccardo; Valenzano, A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, M., Durante, L., Seno, L., Valenza, F., Valenzano, A.. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] | 1-gen-2019 | Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + | main.pdf; 1-s2.0-S0167404818303870-main.pdf |
| Review of Security Issues in Industrial Networks / Cheminod, M., Durante, L., Valenzano, A.. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 9:1(2013), pp. 277-293. [10.1109/tii.2012.2198666] | 1-gen-2013 | Cheminod, ManuelDurante, LucaValenzano, Adriano | 07_197890_GrOA.pdf; Review_of_Security_Issues_in_Industrial_Networks.pdf |
| Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, M., CIBRARIO BERTOLOTTI, I., Durante, L., Maggi, P., Pozza, D., Sisto, R., Valenzano, A.. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] | 1-gen-2009 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO | 04895710.pdf; detectingChains_authorscopy.pdf |
| Tools for cryptographic protocols analysis: A technical and experimental comparison / Cheminod, M., BERTOLOTTI CIBRARIO, I., Durante, L., Sisto, R., Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 31:5(2009), pp. 954-961. [10.1016/J.CSI.2008.09.030] | 1-gen-2009 | CHEMINOD M.BERTOLOTTI CIBRARIO I.DURANTE LSISTO RVALENZANO A. | 01_11583_1856812.pdf; 1-s2.0-S0920548908001451-main.pdf |
| Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis / CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 20:3(2008), pp. 303-348. [10.1007/s00165-008-0078-3] | 1-gen-2008 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Improving the Security of Industrial Networks by means of Formal Verification / CIBRARIO BERTOLOTTI, I., Durante, L., Maggi, P., Sisto, R., Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 29:3(2007), pp. 387-397. [10.1016/j.csi.2006.06.002] | 1-gen-2007 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. + | article.pdf; 1-s2.0-S0920548906000766-main.pdf |
| Exploiting symmetries for testing equivalence verification in the SPI calculus / CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. - ISSN 0129-0541. - 17:4(2006), pp. 815-832. [10.1142/S0129054106004121] | 1-gen-2006 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. | 04_11583_1406239.pdf |
| Automatic testing equivalence verification of spi calculus specifications / Durante, L., Sisto, R., Valenzano, A.. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 12:2(2003), pp. 222-284. [10.1145/941566.941570] | 1-gen-2003 | DURANTE LSISTO, RiccardoVALENZANO A. | 05_11583_1406236.pdf; 941566.941570.pdf |
| On the performance of the IEC 61158 Fieldbus / Durante, L., Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 21:3(1999), pp. 241-250. [10.1016/s0920-5489(99)00009-4] | 1-gen-1999 | Durante, LucaValenzano, Adriano | 15_180882_GrOA.pdf; 1-s2.0-S0920548999000094-main.pdf |
| Adaptive Bandwidth Balancing Mechanisms for DQDB Networks / Cena, G., Durante, L., Sisto, R., Valenzano, A.. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - 20:9(1997), pp. 804-819. [10.1016/S0140-3664(97)00067-4] | 1-gen-1997 | CENA GDURANTE LSISTO, RiccardoVALENZANO A. | 06_11583_1659468.pdf; 1-s2.0-S0140366497000674-main.pdf |
| Standard field bus networks for industrial applications / Cena, G., Durante, L., Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 17:2(1995), pp. 155-167. [10.1016/0920-5489(94)00051-h] | 1-gen-1995 | Cena, GianlucaDurante, LucaValenzano, Adriano | 17_187815_GrOA.pdf; 1-s2.0-092054899400051H-main.pdf |
| Implementation of Static Semantic Analysis of LOTOS Specifications / Durante, L., Sisto, R., Valenzano, A.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 9:(1994), pp. 55-66. | 1-gen-1994 | DURANTE LSISTO, Riccardo + | - |