@INPROCEEDINGS{,
author = {R. Hall},
booktitle = {Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE)},
title = {Specification Modeling and Validation Applied to Network Security Gateways},
year = {2001},
volume = {00},
number = {},
pages = {0289},
keywords={},
doi = {10.1109/ISRE.2001.948589},
url = {doi.ieeecomputersociety.org/10.1109/ISRE.2001.948589},
ISSN = {},
month={08}
}