William H. Allen, Chin Dou, Gerald A. Marin. A Model-based Approach to the Security Testing of Network Protocol Implementations. In LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006. pages 1008-1015, IEEE Computer Society, 2006. [doi]
@inproceedings{AllenDM06,
title = {A Model-based Approach to the Security Testing of Network Protocol Implementations},
author = {William H. Allen and Chin Dou and Gerald A. Marin},
year = {2006},
doi = {10.1109/LCN.2006.322216},
url = {http://dx.doi.org/10.1109/LCN.2006.322216},
tags = {rule-based, protocol, testing, security, systematic-approach},
researchr = {https://researchr.org/publication/AllenDM06},
cites = {0},
citedby = {0},
pages = {1008-1015},
booktitle = {LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006},
publisher = {IEEE Computer Society},
}