Formally-Based Black-Box Monitoring of Security Protocols

Alfredo Pironti, Jan Jürjens. Formally-Based Black-Box Monitoring of Security Protocols. In Fabio Massacci, Dan S. Wallach, Nicola Zannone, editors, Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Volume 5965 of Lecture Notes in Computer Science, pages 79-95, Springer, 2010. [doi]

Authors

Alfredo Pironti

This author has not been identified. Look up 'Alfredo Pironti' in Google

Jan Jürjens

This author has not been identified. Look up 'Jan Jürjens' in Google