包过滤防火墙在仿真平台中的研究与实现  

Research and Implement of Packet Filtering Firewall in Simulation Platform

作　　者：何巍[1] 张红兵[1] 夏春和[1] 

机构地区：[1]北京航空航天大学计算机学院网络技术北京市重点实验室,北京100083

出　　处：《航空计算技术》2006年第6期83-86,90,共5页Aeronautical Computing Technique

基　　金：航空科学基金(03F51060);北京教育委员会共建项目建设计划基金(SYS100060412)

摘　　要：网络安全仿真是进行网络安全研究的重要手段,而防火墙的仿真是该手段的必要组成部分。本文重点研究防火墙仿真技术,对防火墙规则进行了形式化描述,并给出包过滤过程的自动机设计,基于此,在GTNetS仿真平台中实现了一个包过滤防火墙,并使用适当的测试用例验证了其正确性。Network security simulation is an essential measure to study network security today. For the signiiicance of firewalls in network defense, its simulation becomes an important part of security simulation. Researching on the simulation of packet filtering firewalls, this paper makes a formal description for firewall rules and gives the corresponding automata design. Finally,a packet filtering simulator is presented and proved to be efficient by some proper experiments.

关 键 词：防火墙 仿真 规则 自动机 GTNETS 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]