Login / Signup
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking.
Roya Ensafi
Jong Chun Park
Deepak Kapur
Jedidiah R. Crandall
Published in:
USENIX Security Symposium (2010)
Keyphrases
</>
model checking
temporal logic
finite state
symbolic model checking
dynamic analysis
temporal properties
finite state machines
verification method
linear temporal logic
abstract interpretation
static analysis
pspace complete
transition systems