Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Roya Ensafi' in GoogleThis author has not been identified. Look up 'Jong Chun Park' in GoogleThis author has not been identified. Look up 'Deepak Kapur' in GoogleThis author has not been identified. Look up 'Jedidiah R. Crandall' in Google

runs on WebDSL