Stability Verification of Proxy Firewall Using Colored Petri Nets

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.

Bibliographies