Dynamic Testing (Fuzzing) on the Teredo Protocol by beSTORM

beSTORM is the most efficient, enterprise ready and automated dynamic testing tool for testing the security of any application or product that uses the Teredo Protocol.

Teredo, originally called Shipworm, is a tunneling protocol developed by Microsoft and is enabled by default in Windows Vista. As networks and hosts are upgraded to take full advantage of IPv6, devices that use network address translation (NAT) such as home networks, are expected to lag behind. Teredo encapsulates IPv6 data packets within UDP/IPv4 datagrams addressing the limitations in 6to4 – the most common IPv6 over IPv4 tunneling protocol. Teredo raises some security concerns such as bypassing security controls and allowing unsolicited traffic.

beSTORM specializes in testing the reliability of any hardware or software that uses this tunneling protocol as well as ensuring the function and security of its implementation

By intelligently testing up to billions of combinations of dynamically generated input, beSTORM ensures the security and reliability of your products prior to deployment. It is also used around the world by government and industry certification centers to ensure that products are secure before purchase and deployment.

Unlike static testing tools, beSTORM does not require source code and can therefore be used to test extremely complicated products with a large code base. In comparison static source code testing tools must have access to the source code and testing very large code bases can be problematic. beSTORM also reduces the number of false positives by reporting only actual successful attacks.

beSTORM uses an approach known as Smart Fuzzing, which prioritizes the use of attacks that would likely yield the highest probably of product failure. These methods of testing are unique compared to older generation tools that use a fixed number of attack signatures to locate known vulnerabilities in products.

In addition, beSTORM can also be used to test proprietary protocols and specifications (textual or binary) via its Auto Learn feature. This results in a full featured, versatile, and efficient tool that can help your QA team ensure the reliability and security of your software development project.