Moon-Ku Lee. Stability Verification of Proxy Firewall Using Colored Petri Nets. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. pages 352-358, CSREA Press, 2003.
@inproceedings{Lee03:45,
title = {Stability Verification of Proxy Firewall Using Colored Petri Nets},
author = {Moon-Ku Lee},
year = {2003},
researchr = {https://researchr.org/publication/Lee03%3A45},
cites = {0},
citedby = {0},
pages = {352-358},
booktitle = {Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1},
editor = {Hamid R. Arabnia and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-932415-16-5},
}