IT之家 11 月 10 日消息,长期以来,Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今,谷歌 DeepMind 团队利用人工智能,对这一协议的安全性进行了正式验证(Formal Verification)。 据IT之家了解,除了 Signal 应用本身,这套加密协议也被 WhatsApp 和谷歌信息(Google Messages)采用,这项研究成果被描述为“一项具有里程碑意义的进展”。 所谓“形式化验证”,是指