Rule-Based Static Analysis of Network Protocol Implementations

Octavian Udrea, Cristian Lumezanu. Rule-Based Static Analysis of Network Protocol Implementations. In Angelos D. Keromytis, editor, Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31 - August 4, 2006. USENIX Association, 2006. [doi]

Abstract

Abstract is missing.