一种防火墙系统安全模型的形式描述

摘要

文中提出了一种防火墙系统的安全模型,该模型构筑在防火墙系统的安全服务基础之上,将安全模型抽象为若干安全服务的集合并用形式化的方法进行了描述.着重描述了安全服务的动态特性、安全模型的动态特性以及安全模型和防火墙系统之间的相互关系.提出了安全服务的双向性及关键服务集的概念.该模型在已实现的分布式动态防火墙原型系统中得到了验证.