Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall. Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. In 19th USENIX Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings. pages 257-272, USENIX Association, 2010. [doi]
@inproceedings{EnsafiPKC10,
title = {Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking},
author = {Roya Ensafi and Jong Chun Park and Deepak Kapur and Jedidiah R. Crandall},
year = {2010},
url = {http://www.usenix.org/events/sec10/tech/full_papers/Ensafi.pdf},
tags = {model checking, meta-model, protocol, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/EnsafiPKC10},
cites = {0},
citedby = {0},
pages = {257-272},
booktitle = {19th USENIX Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings},
publisher = {USENIX Association},
}