On TechRepublic: 12 tech terms that make you sound old
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network protocols are difficult to test due to the exponential size of the state space they define. Ideally, a protocol implementation must be validated against all possible events (packet arrivals, packet losses, timeouts, etc.) in all possible protocol states. This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique. The authors have implemented these techniques in CMC, a C model checker and applied the result to the Linux TCP/IP implementation, finding four errors in the protocol implementation.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:157 KB
Pages:14

People who downloaded this item also downloaded

Download 10 dumb things you can do to your Cisco router
White Paper An Evaluation Of Toyota Motor Company (TMC) Information Systems
Download 10+ essential (and free) Windows applications
Download Disaster recovery white paper

Top results from TCP - IP

White Paper Enterprise and Web 2.0 application support in a modern mainframe environment
White Paper Building Reliable IP Telephony Systems
White Paper CCNA Review Guide
White Paper TCP/IP Sleuthing--Troubleshooting TCP/IP Using Your Toolbox
White Paper The OSI Model: Understanding the Seven Layers of Computer Networks

» View all TCP - IP listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

advertisement

Meet Doc

  • Here to help you with your Document Management Needs
  • Doc is an enigma. Born to a Russian ballerina and a German electrical engineer, he grew up in various locations in the United States. He’s seen the insides of more brands, versions, and generations of printer and printer-related hardware than almost anyone.
  • To learn more about this mysterious figure check out his blog on ZDNet and his Workspace on TechRepublic. You’ll be glad you did.
  • Produced by
    ZDNet and

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).