Formal description and verification of security filtered rules

摘要：

With the ever-changing threat of network, packetfiltering firewall, an important instrument for resisting threat, has become the effective measure of host-computer protection. Its ability depends on the capability of filtered rules. This paper first describes filtered rules formally, and then tests the rules including the verification of special aims and security analysis based on model checking. The formal analysis and verification make the rules achieve the security administrators will of packet filtering and protect the system safe.

关键词： network security formalization of rides description verification filtration

作者: Yue-hua ZHAO Bai HU Cong-hua ZHOU Jian-feng MA

作者单位: Institute of Computer Science and Telecommunication Engineering Jiangsu University Zhenjiang, China Institute of Computer Science and Telecommunication Engineering Jiangsu University Zhenjiang, China Institute of Computer Xidian University Xian, China

会议类型: 国际会议

会议名称: The First International Conference on Networking and Distributed Computing(第一届网络与分布式计算国际会议 ICNDC 2010)

会议地点: 杭州

会议语种:英文

页码: 232-237

在线出版日期: 2010-10-21（万方平台首次上网日期，不代表论文的发表时间）