759 search results - page 57 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
IPCCC
2006
IEEE
14 years 3 months ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
HPCA
2007
IEEE
14 years 9 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...