DeepMind 用 AI 验证 Signal 加密协议安全性
热点事件持续更新
DeepMind 用 AI 验证 Signal 加密协议安全性
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
谷歌 DeepMind 团队用 AI 对 Signal 加密协议本身完成形式化安全验证，并用同一方法识别出旧版协议实现中的已知安全漏洞；这不等于对 Signal 应用进行全面安全审查。 团队称分析耗时约四周，并借助了部分既有形式化验证成果。谷歌尚未公布所需计算资源规模，也表示目前无法确定这种方法大范围推广的实际可行性。
AI 根据报道生成 · 55 分钟前更新
最新进展11月10日 21:35
谷歌 DeepMind 用 AI 对 Signal 加密协议进行形式化验证报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- IT之家谷歌 DeepMind 用 AI 对 Signal 加密协议进行形式化验证
谷歌 DeepMind 团队利用 AI 对 Signal 加密协议进行形式化验证，针对协议本身验证其安全性，而非全面审查 Signal 应用。分析耗时约四周，团队还用该方法识别出旧版协议实现中的已知安全漏洞。研究借助了部分既有形式化验证成果，谷歌尚未公布所需计算资源规模，并表示目前无法确定该技术大范围推广的实际可行性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。