Testing security properties of protocol implementations - a machine learning based approach (2007)

by G Shu, D Lee
Venue:In Distributed Computing Systems, 2007. ICDCS ’07. 27th International Conference on