×

网络安全策略验证

swMATH ID: 32204
软件作者: 迪克曼,C。
描述: 网络安全策略验证:我们提出了一个用于验证网络安全策略的统一理论。安全策略表示为有向图。为了检查高级安全目标,需要表达策略上的安全不变量。我们讨论了单调安全不变量,即禁止更多不变量不会损害安全性。我们为安全不变量理论提供了以下贡献。确保场景特定知识的自动完成,从而简化可用性。如果安全不变量对拒绝所有策略有效,则可以通过收紧策略来修复安全违规。计算安全策略的算法。网络安全机制中有状态连接语义的形式化。计算策略的安全状态实现的算法。所有理论的可执行实现。示例包括从飞机座舱数据网络到大型现实世界防火墙的分析。更多示例:将高级安全目标完全自动转换为防火墙和SDN配置(请参阅examples/Distributed_WebApp.thy)
主页: http://www.google.de/#sclient=psy&hl=de&source=hp&q=网络安全策略验证
依赖项: 伊莎贝尔
相关软件: 罗宾斯猜想;VAMPIRE公司;E定理证明器;正则_代数;Sqrt_巴比伦语;存档正式证据;拦污栅;香车叶草;系统启动TPTP;Flyspeck飞点;PRocH公司;CVC4型;CLSAT公司;马什;验证;大锤;萨塔拉克;HOL公司;z3(零3);伊萨尔
引用于: 1文件

连载1篇

1 自动推理杂志

按年份列出的引文