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

Submitted by Anonymous (not verified) on February 8, 2021 - 11:10 pm
TitleIdle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
Publication TypeConference Paper
Year of Publication2010
AuthorsEnsafi R, Park JChun, Kapur D, Crandall JR
Conference Name19th USENIX Security Symposium (USENIX Security 10)
Date Published08/2010
PublisherUSENIX Association
Conference LocationWashington, DC
URLhttps://www.usenix.org/conference/usenixsecurity10/idle-port-scanning-and-non-interference-analysis-network-protocol-stacks