Guoqiang Shu, David Lee. Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. In 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), June 25-29, 2007, Toronto, Ontario, Canada. pages 25, IEEE Computer Society, 2007. [doi]
Abstract is missing.