3P. Srisuresh, K. Egevang,RFC3022. January 2001 "Traditional IP Network Address Translator (Traditional NAT) " 1 - 13.
二级参考文献8
1Diana Senn,David Basin.Germano Caronni.Firewall Conformance Testing.In:Testing of Communicating Systems.17th IFIP TC6/WG 6.1 International Conference.Montreal.Canada.2005.
2Adel El-Atawy,Khaled Ibrahim,Hazem Hamed et al..Policy Segmentation for Intelligent Firewall Testing.In:First Workshop on Secure Network Protocols (NPSec.In conjunction with ICNP 2005).Boston.MA.USA.2005.
3Ehab S.Al-Shaer,Hazem H.Hamed.Modeling and Management of Firewall Policies.In:IEEE Transactions on Network and System Management.2004.Volume 1-1.
4R.Bryant.Graph-Based Algorithms for Boolean Function Manipulation.In:IEEE Transactions on Computers.1986.Volume 35.Issue 8.Pages:677-691.
5Krishan Sabnani,Anton Dahbura.A protocol test generation procedure.In:Computer Networks and ISDN Systems.1988.vol.15.Pages:285-297.
6European Telecommunications Standards Institute.Methods for Testing and Specification(MTS);The Testing and Test Control Notation version 3;Part 1:TTCN-3 Core Language[].ETSI ES -V.2005
7.Methods for Testing and Specification(MTS);The Testing and Test Control Notation version 3;Part 5:TTCN-3 Runtime Interface(TRI)[].ETSI ES - V.2003
8.Methods for Testing and Specification(MTS);The Testing and Test Control Notation version 3;Part 5:TTCN-3 Runtime Interface(TRI)[].ETSI ES - V.2003
