一种防火墙系统安全模型的形式描述 |
| |
引用本文: | 白跃彬,郑守淇,侯宗浩,邹勇.一种防火墙系统安全模型的形式描述[J].小型微型计算机系统,2003,24(4):691-694. |
| |
作者姓名: | 白跃彬 郑守淇 侯宗浩 邹勇 |
| |
作者单位: | 1. 西安交通大学,计算机系,陕西,西安,710049 2. IBM CDL,北京,100000 |
| |
基金项目: | 国家“863”计划资助项目 |
| |
摘 要: | 文中提出了一种防火墙系统的安全模型,该模型构筑在防火墙系统的安全服务基础之上,将安全模型抽象为若干安全服务的集合并用形式化的方法进行了描述,着重描述了安全服务的动态特性,安全模型的动态特性以及安全模型和防火墙系统之间的相互关系,提出了安全服务的双向性及关键服务集的概念,该模型在已实现的分布式动态防火墙原型系统中得到了验证。
|
关 键 词: | 防火墙系统 安全模型 形式描述 网络安全 计算机网络 建模 |
文章编号: | 1000-1220(2003)04-0691-04 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|