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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.