Signal协议

Signal协议的开发由Trevor Perrin和馬克西·馬林史派克于2013年开始。该协议的第一个版本TextSecure v1基于不留记录即时通讯（OTR）系统。[5] [6]

2014年2月24日，Open Whisper Systems推出了TextSecure v2[7] ，其之后被迁移到 Axolotl Ratchet 算法中。[8] Axolotl Ratchet 的设计基于 OTR 引入的临时密钥交换。 [9] 这带来了对异步通信（离线消息）的支持。除了离线消息，其还具有更好的弹性，并且更容易支持与多个参与者的对话。[10]Axolotl Ratchet 是以极度濒危的水生动物墨西哥钝口螈命名 ，它具有非凡的自我修复能力。开发者以此寓意暗示该算法会在破坏会话密钥后自动使攻击者无法访问后续消息的明文。

该协议的第三个版本TextSecure v3对加密原语和有线协议进行了一些更改。2014年10月，波鸿鲁尔大学的研究人员发表了对TextSecure v3的分析。[4]在众多发现中，他们提出了对该协议的未知密钥共享攻击，但总体来说，他们发现它是安全的。[11]

在2016年3月，开发人员将协议重命名为Signal协议。他们还将Axolotl Ratchet重命名为双棘轮算法，以更好地区分棘轮协议和完整的通讯协议。[12] [13]

截至2016年10月，Signal协议仍是基于TextSecure v3，但做出了一些额外的密码学改进。2016年10月，来自英国牛津大学、澳大利亚昆士兰科技大学和加拿大麦马士达大学的研究者发布了一份针对此协议的分析，认为该协议是密码学可靠的。[14][15]

该协议提供机密性、完整性、认证加密、参与者一致性、目标验证、前向保密性 、未来保密性、因果关系保留、消息不可链接性、消息否认、参与否认和异步通讯的特性。但它不提供匿名性保留，并且需要服务器来中继消息和存储公钥。 [16]

Signal协议还支持端到端加密的群聊。 群聊协议是通过成对双棘轮和多播加密来实现的。[16] 除了一对一协议提供的属性外，群聊协议还提供说话者一致性、乱序弹性、丢弃消息弹性、计算性平等，信任平等、子组消息传递以及可收缩和可扩展的成员资格支持。

Open Whisper Systems首先在其TextSecure应用程序中引入了该协议。随后，他们将名为RedPhone的加密语音呼叫应用程序合并到TextSecure应用程序中，并将其重命名为 Signal。RedPhone使用ZRTP对其呼叫进行加密。 在2017年3月，Signal转换为基于WebRTC的新呼叫系统，该系统还引入了视频呼叫的功能。[23]Signal的新呼叫系统同样使用Signal Protocol进行端到端加密。 [1]

2014年11月，Open Whisper Systems宣布与WhatsApp建立合作关系，通过将Signal协议整合到每个 WhatsApp 客户端平台中来提供端到端加密。[24]Open Whisper Systems表示，他们已经将该协议整合到最新的 Android WhatsApp客户端中，不久之后将支持其他客户端，以及组消息和密钥验证特性的支持。[25] 2016年4月5日，WhatsApp和Open Whisper Systems宣布已完成为 WhatsApp 上的任何形式的通信添加端到端加密的功能，并且用户现在可以验证彼此的密钥。[26] [27] 2017年2月，WhatsApp宣布了一项新功能WhatsApp Status，该功能同样使用Signal协议来保护其内容。[28]

2015年9月，歌德塔推出了一个新的消息传递应用程序，称为「安全聊天」，它使用了Signal协议。[29] [30] 但 G Data 于 2018 年 5 月停止服务。 [31]

2016年9月，Google发布了一款名为Allo新通讯应用，该应用程序具有可选的隐身模式，该模式使用Signal协议进行端到端加密。 [32] [33] 2019年3月，谷歌终止了 Allo，转而支持其Android上的Messages应用程序。[34] [35]2020年11月起，Messages开始使用Signal协议进行端到端加密。[36][37][38]

2016年10月， Facebook在Facebook Messenger中部署了一种称为「加密对话」的可选模式，该模式使用Signal协议提供端到端加密。[39] [40] [41] [42]

2018年1月，Open Whisper Systems和微软宣布将Signal协议支持添加到称为私有对话的可选Skype模式中。[43] [44]

Signal协议对其他密码协议也有影响。Viber在2016年5月表示，他们的加密协议是定制实现的，但它与Signal协议使用相同的概念。[45] [46] Forsta的开发人员表示，他们的应用程序使用Signal协议的定制实现。[47] [48]

Signal协议引入的双棘轮算法已被其他协议采用。OMEMO是由即时通信应用Conversations引入的XMPP扩展协议（英語：），并在2016年12月被XMPP标准基金会 (XSF)接受，代号为 XEP-0384 。[49][50]Matrix是一种开放通信协议，其中包括OLM，该协议是一个库，该库通过双棘轮算法实现在聊天室内提供可选的端到端加密。[50]Wire的开发人员表示，他们的应用程序使用了双棘轮算法的定制实现。[51][52][53]

Signal Messenger在GitHub上以GPLv3许可发布并维护以下函式庫：

• libsignal-protocol-c （页面存档备份，存于）：用C编写的函数库，具有Apple App Store其他许可权限。
• libsignal-protocol-java （页面存档备份，存于）：用Java编写的函数库。
• libsignal-protocol-javascript （页面存档备份，存于）：用JavaScript编写的函数库。

• 即时通讯协议的比较
• 密码库比较

• Trevor Perrin在NorthSec 2015上的演讲TextSecure协议：现在和未来 （页面存档备份，存于） （视频）