DocumentCode :
2261133
Title :
Integrated TCP/IP protocol software testing for vulnerability detection
Author :
Xiao, Shu ; Deng, Lijun ; Li, Sheng ; Wang, Xiangrong
Author_Institution :
Cisco Syst. Inc., San Jose, CA, USA
fYear :
2003
fDate :
20-23 Oct. 2003
Firstpage :
311
Lastpage :
319
Abstract :
Many security holes stem from the defects in network protocol implementations. This paper presents an industry best practice of integrated TCP/IP network protocol testing that targets software robustness vulnerabilities. The deployed test system consists of a versatile test engine, a protocol data unit generator and a few auxiliary tools. The specially designed kernel test engine supporting IP/TCP/UDP as carrier protocols drives predefined fault-injected PDU (protocol data unit) to the network unit under test. Its novel callback mechanism and virtual network device connection capability cost-effectively enhance user controlled testing intelligence for verifying protocols with complicated state transitions. The PDU generator aims to provide a systematic solution for rapid test case creation, which is based on new strengthened BNF (Backus-Naur form) language for protocol specification mutation and fault injection. Established on this system, we propose an integrated industry test environment for network protocol code assessment. Initial experiments and case studies with multicast protocols unveiled several robustness violations, which have significant security impacts.
Keywords :
Internet; formal specification; multicast protocols; program testing; telecommunication security; transport protocols; BNF language; Backus-Naur form; IP/TCP/UDP; PDU; TCP/IP protocol; callback mechanism; fault injection; kernel test engine; multicast protocols; network protocol; network security; protocol data unit; protocol specification mutation; software testing; virtual network device connection; vulnerability detection; Best practices; Computer industry; Data security; Engines; IP networks; Protocols; Robustness; Software testing; System testing; TCPIP;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN :
0-7695-2033-2
Type :
conf
DOI :
10.1109/ICCNMC.2003.1243061
Filename :
1243061
Link To Document :
بازگشت