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