![](/img/cover-not-exists.png)
[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Formal methods in security engineering - FMSE '04 - Automatic analysis of firewall and network intrusion detection system configurations
Uribe, Tom�s E., Cheung, StevenYear:
2004
Language:
english
DOI:
10.1145/1029133.1029143
File:
PDF, 191 KB
english, 2004