About this scholarly article

Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000 - Using model checking to analyze network vulnerabilities by Ritchey, R.W.; Ammann, P. is a scholarly article available to read on EtoBox.

Author

Ritchey, R.W.; Ammann, P.

Publisher

IEEE Comput. Soc

Published

2000

Language

EN