Vulnerability analysis and testing of protocols
Wei Zhang · Computer Engineering and Applications Journal · 2008
Strong design and implementation of communication protocols is of vital importance to network security which has already drawn wide attention of the whole society.In this paper,an extended constructed type algebra is used to model the protocols.Based on the model,an analysis of consistency and completeness is proposed to find the potential vulnerability of protocols.A method to test whether the implementation of system can resist those attacks resulting from the vulnerabilities similar to testing the conformity of protocols is given.A distributed test platform KD-TclRunner is developed to test the vulnerability of the communication devices made by famous vendors at home and abroad.