谷歌DeepMind开发的AI系统Alphaproof Code在四周内完成了对Signal加密协议的数学证明，并成功识别出旧版的已知漏洞。该系统通过将安全要求转化为数学公式进行验证，确保在规定条件下始终满足安全性。研究人员表示，普通安全测试无法发现所有漏洞，而数学证明则提供了更严格的验证。此次检查的现行协议部分，AI没有发现新漏洞。
谷歌DeepMind开发的AI系统Alphaproof Code在四周内完成了对Signal加密协议的数学证明，并成功识别出旧版的已知漏洞。该系统通过将安全要求转化为数学公式进行验证，确保在规定条件下始终满足安全性。研究人员表示，普通安全测试无法发现所有漏洞，而数学证明则提供了更严格的验证。此次检查的现行协议部分，AI没有发现新漏洞。
京ICP备12034567号 | 增值电信业务经营许可证 | 京公安网备11010502030123号 | 广播电视节目制作经营许可证（京）字第05268号
Copyright © 2010-2016 亚洲财经网 All Rights Reserved 市场有风险 投资需谨慎
地址：北京市朝阳区光华里8号中海广场中楼30层 邮编：100020
