共 1 条
增强型包过滤防火墙规则的形式化及推理机的设计与实现
被引：14
作者：
邹勇
白跃彬
赵银亮
机构：
[1] 西安交通大学计算机科学与技术系!西安
来源：
关键词：
网络安全;
防火墙;
规则;
推理机;
形式化;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
防火墙是一种重要的网络安全技术 .对防火墙的核心技术——规则和推理机进行了研究 ,提出了增强型包过滤防火墙的规则形式化定义、推理机的抽象模型和推理算法 .据此 ,设计和实现了相应的推理机 ,同时给出了防火墙的设计实例 ,以此做为对上述工作的验证 .最后 ,总结了该防火墙的优点 ,并指出了进一步的研究目标
引用
收藏
页码：1471 / 1476
页数：6
相关论文