• 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