Guoqiang Shu, David Lee. Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. In M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Volume 3964 of Lecture Notes in Computer Science, pages 357-372, Springer, 2006. [doi]
Abstract is missing.