Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
.
2010. Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. 19th USENIX Security Symposium (USENIX Security 10).