Firewall Design: Understandable, Designable and Testable.
作者： Yan-ning Huang , Yong Jiang
DOI:
关键词:
摘要:
参考文章(12)
Y. Bartal, A. Mayer, K. Nissim, A. Wool, Firmato: a novel firewall management toolkit ieee symposium on security and privacy. pp. 17- 31 ,(1999) , 10.1109/SECPRI.1999.766714
A. Wool, A quantitative study of firewall configuration errors IEEE Computer. ,vol. 37, pp. 62- 67 ,(2004) , 10.1109/MC.2004.2
Bryant, Graph-Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computers. ,vol. 35, pp. 677- 691 ,(1986) , 10.1109/TC.1986.1676819
K. Strehl, L. Thiele, Interval diagrams for efficient symbolic verification of process networks IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 19, pp. 939- 956 ,(2000) , 10.1109/43.856979
A. Hari, S. Suri, G. Parulkar, Detecting and resolving packet filter conflicts international conference on computer communications. ,vol. 3, pp. 1203- 1212 ,(2000) , 10.1109/INFCOM.2000.832496
Yong Du, D. Hoffman, PBit - a pattern-based testing framework for iptables conference on communication networks and services research. pp. 107- 112 ,(2004) , 10.1109/DNSR.2004.1344718
V. Srinivasan, A packet classification and filter management system international conference on computer communications. ,vol. 3, pp. 1464- 1473 ,(2001) , 10.1109/INFCOM.2001.916642
S. Hinrichs, Policy-based management: bridging the gap annual computer security applications conference. pp. 209- 218 ,(1999) , 10.1109/CSAC.1999.816030
M.G. Gouda, X.-Y.A. Liu, Firewall design: consistency, completeness, and compactness international conference on distributed computing systems. pp. 320- 327 ,(2004) , 10.1109/ICDCS.2004.1281597
F. Baboescu, G. Varghese, Scalable packet classification IEEE ACM Transactions on Networking. ,vol. 13, pp. 2- 14 ,(2005) , 10.1109/TNET.2004.842232