( en | de | ru )

 

Disambiguation of "Durante, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.

, , and . FORTE, volume 183 of IFIP Conference Proceedings, page 155-170. Kluwer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Durante

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Luca Haiberger

 

Other publications of authors with the same name

Performance impact of commercial industrial firewalls on networked control systems., , , and . ETFA, page 1-8. IEEE, (2016)Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts., , , and . ICS-CSR, BCS, (2015)A Model for the Analysis of Security Policies in Industrial Networks., , , and . ICS-CSR, BCS, (2013)On the description of access control policies in networked industrial systems., , , and . WFCS, page 1-10. IEEE, (2014)System configuration check against security policies in industrial networks., , and . SIES, page 247-265. IEEE, (2012)A semi-graphical modeling framework for the automated analysis of networked systems security., , , , , and . RTSI, page 411-418. IEEE, (2015)Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems., , , , and . DepCoS-RELCOMEX, page 11-18. IEEE Computer Society, (2007)Low-Cost Software Evaluation of Communication Delays in Networked Industrial Systems., , , and . Future Internet, 17 (2): 78 (2025)A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification., , and . FORTE, volume 183 of IFIP Conference Proceedings, page 155-170. Kluwer, (2000)Comparing lexical analysis tools for buffer overflow detection in network software., , , and . COMSWARE, page 1-7. IEEE, (2006)