Idle Port Scanning And Non-Interference Analysis Of Network Protocol Stacks Using Model Checking presented at 19th USENIX Security Symposium 2010

by Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall,

Tags: Security Analysis