An Automated Mechanism of Security Test on Network Protocols. - Yahui Yang; Yunfei Chen 006; Min Xia; Juan Ma (IAS, 2009)