F类正常N个网络M（M）模型和T型继承人A类应用于F类防火墙P（P）政策

阿希姆·D·布鲁克 🌐,卢卡斯·布吕格尔和伯克哈特·沃尔夫 🌐

2017年1月8日

摘要

我们提出了网络协议的形式化模型及其应用对防火墙策略进行建模。形式化基于统一政策框架（UPF）。形式化最初是使用开发，用于生成测试安全性的测试用例使用配置实际防火墙和路由器（中间盒）HOL-TestGen公司。我们的工作重点是为应用程序级协议建模在tcp/ip之上。

许可证

许可协议

话题

会话UPF_Firewall

取决于

引用

× 
@文章{UPF_Firewall-AFP，author={阿希姆·D·布鲁克（Achim D.Brucker）、卢卡斯·布吕格（Lukas Brügger）和伯克哈特·沃尔夫（Burkhart Wolff）}，title={形式网络模型及其在防火墙策略中的应用}，journal={正式证据存档}，月={1月}，年份={2017年}，注释={\url{https://isa-afp.org/entries/UPF_Firewall.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：