Rule-Based Static Analysis of Network Protocol

Presented as part of the 2008 HCSS conference.

License: 
Creative Commons 2.5
Jeff Foster

Other available formats:

Rule-Based Static Analysis of Network Protocol
Switch to experimental viewer