Author of the publication

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.

 

Other publications of authors with the same name

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)Performance impact of commercial industrial firewalls on networked control systems., , , and . ETFA, page 1-8. IEEE, (2016)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)Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis., , , and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 224-239. Springer, (2003)A new CAN-like field network based on a star topology., , and . Comput. Stand. Interfaces, 23 (3): 209-222 (2001)Exploiting Symmetries for Testing Equivalence in the Spi Calculus., , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 135-149. Springer, (2004)