Sylvain Marquis, Thomas R. Dean, Scott Knight. SCL: a language for security testing of network applications. In James R. Cordy, Anatol W. Kark, Darlene A. Stewart, editors, Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, October 17-20, 2005, Toronto, Ontario, Canada. pages 155-164, IBM, 2005. [doi]
Abstract is missing.