增强型包过滤防火墙规则的形式化及推理机的设计与实现

作     者：邹勇 白跃彬 赵银亮 ZOU Yong;BAI Yue-Bin;ZHAO Yin-Liang

作者机构：西安交通大学计算机科学与技术系西安710049 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2000年第37卷第12期

页      码：1471-1476页

摘      要：防火墙是一种重要的网络安全技术 .对防火墙的核心技术——规则和推理机进行了研究 ,提出了增强型包过滤防火墙的规则形式化定义、推理机的抽象模型和推理算法 .据此 ,设计和实现了相应的推理机 ,同时给出了防火墙的设计实例 ,以此做为对上述工作的验证 .最后 ,总结了该防火墙的优点 。

主 题 词：网络安全 防火墙 规则 推理机 形式化 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203787167...