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]
Abstract is missing.