Automatic Analysis of Firewall and Network Intrusion Detection System Configurations
by Uribe, T. and Cheung, S.
in 2nd ACM Workshop on Formal Methods in Security Engineering
Published by ACMNote: Also SRI SDL technical report.
 Adobe PDF |
 BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
