Title :
Specification modeling and validation applied to network security gateways
Author_Institution :
AT&T Labs Research
Keywords :
Computer networks; Computer security; Home computing; IP networks; Linux; Protection; Routing; Specification languages; Testing; Virtual private networks;
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Print_ISBN :
0-7695-1125-2
DOI :
10.1109/ISRE.2001.948589
