Formalized Description of a Security Model for Firewall Systems

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