#网络安全

共 229 条 · 7 天 22 条 · 30 天 73 条
7月30日
7月29日
7月28日
7月25日
7月24日
7月23日
7月22日
7月21日
7月19日
7月18日
7月15日
7月14日
7月10日
7月9日
7月7日
7月6日
7月3日
6月27日
6月23日
6月17日
6月12日
论文10:26
Shield Synthesis 新视角:防御性分析而非运行时约束

这篇论文把盾牌合成从运行时约束工具重新定义为设计阶段的分析框架,做网络安全架构和形式化验证的团队值得一读——它提供了一种新思路,用形式化方法回答“系统到底能不能防住”这个根本问题。

arXiv cs.AI@Achraf Hsain, Sultan Almuhammadi原文