Firewall Conformance Testing
暂无分享,去创建一个
[1] Jan Jürjens,et al. Specification-Based Testing of Firewalls , 2001, Ershov Memorial Conference.
[2] S. L. Gerhart,et al. Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.
[3] Reto E. Haeni. Firewall Penetration Testing , 1997 .
[4] Vince Fuller,et al. Classless Inter-Domain Routing (CIDR): an Address Assignment and Aggregation Strategy , 1993, RFC.
[5] Arthur Gill,et al. Sate-Identification Experiments in Finite Automata , 1961, Inf. Control..
[6] Avishai Wool,et al. Firmato: A novel firewall management toolkit , 2004, TOCS.
[7] Avishai Wool. Architecting the Lumeta Firewall Analyzer , 2001, USENIX Security Symposium.
[8] Prasad Rao,et al. Automatic management of network security policy , 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.
[9] Avishai Wool,et al. Fang: a firewall analysis engine , 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
[10] John B. Goodenough,et al. Toward a theory of test data selection , 1975 .
[11] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[12] Joshua D. Guttman,et al. Filtering postures: local enforcement for global policies , 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
[13] Manfred Broy,et al. Perspectives of System Informatics , 2001, Lecture Notes in Computer Science.
[14] Alexandre Petrenko,et al. 2 State of the SBT Practice — Why Limited Use ? , 2001 .
[15] S. Seshu,et al. Introduction to the theory of finite-state machines , 1963 .
[16] Krishan K. Sabnani,et al. A Protocol Test Generation Procedure , 1988, Comput. Networks.