DocumentCode :
1816651
Title :
An Automated Mechanism of Security Test on Network Protocols
Author :
Yang, Yahui ; Chen, Yunfei ; Xia, Min ; Ma, Juan
Author_Institution :
Sch. of Software & Microelectron., Peking Univ., Beijing, China
Volume :
1
fYear :
2009
fDate :
18-20 Aug. 2009
Firstpage :
503
Lastpage :
506
Abstract :
Aiming at automated security test on communication protocols, this paper proposes an automated manipulation mechanism of testing procedure based on FSM (Finite State Machine), and designs an automated packet generation mechanism based on a protocol template library. The practical experiments and applications show that the automated security testing platform of communication protocols based on this mechanism can implement the correct evaluations, be convenient to construct the testing procedure, generate automatically test packet sequence and have smaller packet control granularity. It can be used for the systematic and efficient infiltrative security test.
Keywords :
cryptographic protocols; finite state machines; FSM; automated manipulation mechanism; automated packet generation mechanism; automated security test mechanism; finite state machine; network protocol; protocol template library; Automata; Automatic control; Automatic testing; Communication system security; Computer security; Information security; Libraries; Protocols; Software testing; System testing; finite state machine; protocol security test; protocol template; script language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-0-7695-3744-3
Type :
conf
DOI :
10.1109/IAS.2009.224
Filename :
5283893
Link To Document :
بازگشت