@inproceedings {268891,
	author = {Octavian Udrea and Cristian Lumezanu},
	title = {{Rule-Based} Static Analysis of Network Protocol Implementations},
	booktitle = {15th USENIX Security Symposium (USENIX Security 06)},
	year = {2006},
	address = {Vancouver, B.C. Canada},
	url = {https://www.usenix.org/conference/15th-usenix-security-symposium/rule-based-static-analysis-network-protocol},
	publisher = {USENIX Association},
	month = jul
}
