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]
Abstract is missing.