Rule-Based Static Analysis of Network Protocol Implementations

TitleRule-Based Static Analysis of Network Protocol Implementations
Publication TypeConference Paper
Year of Publication2006
AuthorsUdrea O, Lumezanu C
Conference Name15th USENIX Security Symposium (USENIX Security 06)
Date Published07/2006
PublisherUSENIX Association
Conference LocationVancouver, B.C. Canada
URLhttps://www.usenix.org/conference/15th-usenix-security-symposium/rule-based-static-analysis-network-protocol