UPF防火墙

形式化网络模型及其在防火墙策略中的应用。我们提出了一个网络协议的形式化模型及其在防火墙策略建模中的应用。形式化基于统一策略框架(UPF)。形式化最初是用来生成测试用例的,用于使用HOL TestGen测试实际防火墙和路由器(中间盒)的安全配置。我们的工作重点是在tcp/ip之上对应用层协议进行建模

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换