An Automated Mechanism of Security Test on Network Protocols | IEEE Conference Publication | IEEE Xplore