Off-the-Record Messaging

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Off-the-Record Messaging (OTR) — криптографический протокол для систем мгновенного обмена сообщениями, созданный в 2004 году Никитой Борисовым и Ианом Голдбергом (англ. Ian Goldberg).

Авторами создана библиотека, распространяемая под лицензией GNU Lesser GPL, используемая для поддержки OTR клиентами систем мгновенного обмена сообщениям. Также на основе этой библиотеки авторами создан плагин для Pidgin.

EFF рекомендует использовать OTR для защиты от прослушивания[1].

История[править | править вики-текст]

Первая версия протокола OTR и его реализация были представлены в 2004 году Никитой Борисовым и Ианом Голдбергом[2][3]. В 2005 году была опубликована атака на первую версию протокола OTR и предложен исправленный протокол аутентификации[4]. В том же году разработчики OTR представили вторую версию протокола с исправлением протокола аутентификации, также дополнительно улучшив его[5].

В 2007 году Оливер Гоффарт (англ. Olivier Goffart) опубликовал модуль mod_otr[6] для сервера ejabberd, позволяющий автоматически проводить атаку типа «человек посередине» на пользователей OTR, не проверяющих отпечатки открытых ключей друг друга. После этого разработчики улучшили OTR с использованием решения задачи «социалиста миллионера» (англ. Socialist Millionaire), позволяющего двум пользователям провести аутентификацию без обмена ключами или их отпечатками при условии, что они знают общий секрет[7].

Аутентификация с использованием вопроса и секретного ответа в Pidgin

Основные свойства протокола[править | править вики-текст]

Протокол OTR разрабатывался для того, чтобы обеспечить приватность переговоров, аналогичную переговорам без использования средств телекоммуникаций[8] [9]. Для этого к разрабатываемому протоколу были предъявлены следующие требования:

  • шифрование сообщений — никто иной не сможет прочитать сообщения;
  • аутентификация собеседников — уверенность в том, кто является собеседником;
  • perfect forward secrecy — если потеряны секретные ключи, прошлая переписка не будет скомпрометирована;
  • возможность отречения — третье лицо не сможет доказать, что сообщения написаны кем-либо другому адресату.

Частично эти свойства реализованы в таких системах, как PGP и Trillian SecureIM. OTR отличается тем, что реализует все эти свойства в одном протоколе[10].

Согласование ключей[править | править вики-текст]

Для передачи сообщений с использованием OTR участники протокола должны установить общий секретный ключ. Для этого используется протокол аутентифицированного распределения ключей (англ. Authenticated Key Exchange), основанный на протоколе Диффи — Хеллмана[11].

В начале протокола участники используют протокол Диффи — Хеллмана для установки секретного ключа, необходимого для передачи первого сообщения. Участники A и B выбирают простое число p и генератор g группы \mathbb{Z}_p^*. A выбирает случайное число a_1 и отправляет B результат вычисления g^{a_1} \bmod p. B выбирает случайное число b_1 и отправляет A результат вычисления g^{b_1} \bmod p. Затем участники используют общий эфемерный ключ k_{11} = H(g^{a_1 b_1}), где H — криптографическая хеш-функция SHA-1[12].

Обновление ключей[править | править вики-текст]

Для обеспечения perfect forward secrecy пользователи постоянно обновляют ключ во время обмена сообщениями[13][14]. При передаче первого сообщения одна из сторон (например, сторона A) шифрует сообщение с помощью функции шифрования E с ключом k_{11}, выбирает случайное число a_2 и передает B пару значений g^{a_2}, E_{k_{11}}(M). Для шифрования следующего сообщения используется ключ k_{21} = H(g^{a_2 b_1}). В дальнейшем при передаче каждого сообщения A изменяет число a_i, а B изменяет число b_j, и ключ k_{ij} обновляется.

На практике сообщения доходят не мгновенно, поэтому после отправки сообщения от A к B и обновления ключа на стороне A, A все еще может получить сообщение от B, зашифрованное старым ключом[15]. Участник A может быть уверен в том, что B обновил ключ, только тогда, когда получит от B сообщение, зашифрованное новым ключом. Поэтому A хранит достаточное количество старых ключей, чтобы иметь возможность расшифровать все сообщения, которые еще не дошли. Для того, чтобы ключи все же обновлялись достаточно часто, сторона, у которой нет сообщений для отправки, время от времени передает пустые сообщения[16].

Авторы статьи «Secure Off-the-Record Messaging» критиковали используемую в OTR схему обновления ключей как не предоставляющую дополнительной безопасности[17]. Так, в случае компрометации все еще используемого эфемерного ключа k_{ij}, сторона, осуществляющая атаку «человек посередине», сможет модифицировать все последующие сообщения и используемые эфемерные ключи[18]. Также использование протокола Диффи — Хеллмана может требовать значительных (например, для устройств, питающихся от батареи) ресурсов[19]. Вместо этого было предложено использовать ту же схему, что и для ключа k_{11}, либо требующую меньше вычислительных ресурсов схему, основанную на хешировании[20].

Аутентификация ключей[править | править вики-текст]

Аутентификация всех эфемерных ключей, за исключением k_{11}, осуществляется вместе с аутентификацией сообщений и описана далее[21]. Для аутентификации ключа k_{11} используются долговременные ключи. В первой версии OTR использовалась небезопасная схема аутентификации, которая была впоследствии изменена[22].

Оригинальная версия протокола[править | править вики-текст]

В первой версии протокола OTR для аутентификации начального ключа k_{11} стороны подписывают соответствующие сообщения протокола Диффи — Хеллмана[23]. Также в этих сообщениях стороны передают свои долговременные открытые ключи.

A \longrightarrow B \colon S_A(g^{a_1}), P_A
B \longrightarrow A \colon S_B(g^{b_1}), P_B

Здесь S_A и S_B — цифровая подпись, P_A и P_B — открытые ключи сторон A и B соответственно.

Данная версия протокола содержит известную уязвимость[24][25]. Сторона E, проводящая атаку «человек посередине», может выполнить аутентификацию одновременно со сторонами A и B, при этом выдав себя одной из сторон (например, B) за другую сторону (например, A), как показано далее.

A \longrightarrow E \colon S_A(g^{a_1}), P_A
E \longrightarrow B \colon S_E(g^{a_1}), P_E
B \longrightarrow E \colon S_B(g^{b_1}), P_B
E \longrightarrow A \colon S_B(g^{b_1}), P_B

После этого E не может читать сообщения, так как они зашифрованы известным только A и B ключом, но B считает, что он разговаривает с E, хотя на самом деле разговаривает с A[26].

Более безопасные протоколы, такие как SKEME, рассматривались при реализации первой версии протокола OTR, но вместо этого был реализован собственный протокол, описанный выше[27].

Вторая версия протокола[править | править вики-текст]

Авторы статьи Secure Off-the-Record Messaging предложили изменить протокол согласования и аутентификации ключей на один из уже известных протоколов, таких как SIGMA, SKEME и HMQV[28]. Также в этих сообщениях стороны передают свои долговременные открытые ключи.

Вариант протокола SIGMA, называемый SIGMA-R, работает следующим образом[29]:

A \longrightarrow B \colon g^{a}
B \longrightarrow A \colon g^{b}
A \longrightarrow B \colon \text{A}, S_A(g^{b}, g^{a}), MAC_{H(g^{ab})} (0, \text{A}), P_A
B \longrightarrow A \colon \text{B}, S_B(g^{a}, g^{b}), MAC_{H(g^{ab})} (1, \text{B}), P_B

Здесь A и B — идентификаторы, S_A и S_B — цифровые подписи, P_A и P_B — открытые ключи сторон A и B соответственно, а H — криптографическая хеш-функция.

Авторы OTR использовали модифицикацию протокола SIGMA во второй версии OTR[30]. По сравнению с предложенным протоколом SIGMA, разработчики OTR защитили открытые ключи от пассивной атаки (прослушивания). Для этого открытые ключи передаются по защищенному каналу, установленному с помощью протокола Диффи — Хеллмана[31]. Также используемая в OTR модификация протокола SIGMA усложнена из-за ограничений на размер сообщения в некоторых протоколах (например, IRC)[32] Полное техническое описание используемого в OTR варианта SIGMA приведено в статье[33] и спецификациях OTRv2[34] и OTRv3[35].

Аутентификация сообщений[править | править вики-текст]

В отличие от таких систем как PGP, OTR не использует цифровые подписи для аутентификации сообщений, так как они не предоставляют возможности отрицаемой аутентификации[36]. Вместо этого используется HMAC[37].

Для аутентификации сообщений используется ключ K, полученный хешированием ключа, используемого для шифрования сообщения[38].

Когда сторона A передает сообщение M другой стороне B, вместе с сообщением она передает вычисленное с помощью общего ключа значение HMAC(M, K)[39]. Сторона B, получив сообщение, может также вычислить HMAC(M, K). Если оно совпадает с полученным значением, то сторона B знает, что сообщение было передано либо стороной A, либо стороной B, но так как сторона B знает, что она сообщение не посылала, то она может быть уверена, что сообщение действительно было отправлено стороной A. В то же время использование HMAC обеспечивает отрицаемость: даже раскрыв ключ K, B не может доказать третьей стороне, что сообщение было отправлено стороной A. Сообщение также могло быть подделано стороной B и любой стороной, которая знает ключ K.

Раскрытие ключей аутентификации[править | править вики-текст]

Ключи, используемые для шифрования, постоянно обновляются, как описано выше. Так как ключи, используемые для аутентификации, получаются хешированием ключей, используемых для шифрования, они также обновляются.

Старые ключи, которые больше не будут использованы, могут быть уничтожены. Но ключи аутентификации также могут быть не только уничножены, но и раскрыты. Авторы OTR добавили раскрытие старых ключей: вместе с сообщением пересылается старый ключ аутентификации, если известно, что он больше не будет использован[40]. Такое решение объясняется требованиями отрицаемости протокола OTR[41][42].

В работе Secure Off-the-Record Messaging указывается, что раскрытие ключей аутентификации излишне усложняет протокол и может негативно быть небезопасно, как нестандартный для криптографии метод[43]. Автор основанного на OTR протокола TextSecure, известный под псевдонимом Moxie Marlinspike[en] также указывает на излишнюю сложность и неэффективность раскрытия ключей аутентификации для обеспечения отрицаемости[44].

Шифрование сообщений[править | править вики-текст]

Для шифрования сообщений используется алгоритм AES в режиме счетчика[45]. Использование построенного таким образом поточного шифра обеспечивает спорное шифрование (англ. malleable encryption). Это значит, что любой, кто перехватит сообщение, сможет выборочно изменить любые биты в сообщении. В частности, если сообщение стало известно, его можно изменить на любое другое сообщение такой же длины[46].

Спорное шифрование требуется для обеспечения отрицаемости шифрования[47]. Благодаря спорному шифрованию участники протокола OTR могут утверждать, что любое из переданных сообщений было изменено третьей стороной.

Многопользовательский OTR[править | править вики-текст]

Протокол OTR разработан для использования только двумя сторонами. Таким образом, его невозможно использовать в каналах IRC, конференциях XMPP и т. д.

OTR невозможно просто расширить для случая нескольких собеседников из-за используемых криптографических примитивов. Например, коды аутентификации сообщений не предоставляют аутентификации источника сообщений в многопользовательском случае[48].

Существуют расширения протокола, предоставляющие возможность использования протокола несколькими пользователями[49][50][51].

Одно из расширений протокола OTR, называемое GOTR (Group OTR), основано на идее создания «виртуального сервера»[52]. Один из участников назначается «виртуальным сервером», обменивается ключами с другими участниками и в дальнейшем все сообщения между участниками конференции пересылаются через него. Недостатком протокола GOTR является то, что «виртуальный сервер» может изменять содержание сообщений, добавлять и удалять сообщения, поэтому все участники конференции должны доверять ему[53].

Позже Иан Голдберг с другими авторами предложили протокол mpOTR[51]. В отличие от протокола GOTR, протокол mpOTR работает без выделенного центрального сервера[54].

Реализации OTR[править | править вики-текст]

libotr
Тип

Библиотека

Разработчик

OTR Development Team

Написана на

C

Аппаратная платформа

кроссплатформенная

Последняя версия

4.0.0 (4 сентября 2012)

Тестовая версия

3.2.1 (14 августа 2012)

Состояние

Актуальный

Лицензия

GNU Lesser General Public License версии 2 [55]

Сайт

otr.cypherpunks.ca/index.php#downloads

Основной реализацией OTR является библиотека libotr, созданная командой разработчиков OTR. На ее основе теми же разработчиками создан плагин для клиента Pidgin, позволяющий использовать OTR с любым из протоколов, поддерживаемых этим клиентом. Также существуют реализации протокола на языках Go, Java, JavaScript, Python, Scheme[56].

Поддержка в мессенджерах[править | править вики-текст]

Встроенная поддержка[править | править вики-текст]

Следующие клиенты имеют встроенную поддержку протокола OTR[57].

С использованием плагина[править | править вики-текст]

Прокси[править | править вики-текст]

Для клиентов, поддерживающих протокол AIM/ICQ, командой разработчиков OTR был разработан пакет otrproxy, представляющий собой локальный прокси-сервер[70]. Он позволял использовать OTR в клиентах, не имеющих собственной поддержки OTR. В настоящее время данный пакет не поддерживается, разработчики рекомендуют использовать клиенты с поддержкой OTR.

Примечания[править | править вики-текст]

  1. Surveillance Self-Defense: Instant Messaging (IM). — «To protect messages from interception as they travel over the network, you need to use encryption. Fortunately, there is an excellent instant messaging encryption system called OTR (Off The Record).»
  2. borisov2004off, 2004
  3. impauth, 2007, 2.1 Original OTR Protocol, p. 42: «The original OTR protocol was presented by Borisov, Goldberg, and Brewer in 2004»
  4. di2005secure, 2005
  5. impauth, 2007, 2.3 OTR version 2, p. 43: «OTR version 2 was released in 2005. The largest change in version 2 was the reworking of the initial authenticated key exchange (AKE).»
  6. mod_otr.
  7. impauth, 2007, 4. Socialist Millionaires’ Protocol, p. 44
  8. impauth, 2007, 2.1 Original OTR Protocol, p. 41: «The original OTR protocol was presented by Borisov, Goldberg, and Brewer in 2004. It was motivated by the idea of two people, say Alice and Bob, conversing face-to-face in a private room.»
  9. goldberg2009multi, 2009, 1. Motivation, p. 359: «While this may be feasible under certain circumstances, it deviates from the original OTR goal, which is to mimic private conversations.»
  10. borisov2004off, 2004, 1. Introduction, p. 77: «However, none of the mechanisms currently used for social communications have all of these properties.»
  11. impauth, 2007, 2.1 Original OTR Protocol, p. 42: «To begin with, OTR uses a Diffie-Hellman (DH) key exchange to establish a shared secret between Alice and Bob.»
  12. borisov2004off, 2004, 4.1 Encryption, p. 80
  13. borisov2004off, 2004, 3.1 Perfect forward secrecy, p. 78: «We circumvent this problem by using short-lived encryption/decryption keys that are generated as needed and discarded after use.»
  14. impauth, 2007, 2.1 Original OTR Protocol, p. 42: «At this point Alice and Bob may begin sending each other encrypted messages. In order to limit the amount of information that is compromised if an adversary determines the shared key, Alice and Bob re-key as frequently as possible. ... This procedure gives OTR the property of perfect forward secrecy (PFS), ensuring that future key compromises cannot reveal the contents of old messages.»
  15. borisov2004off, 2004, 4.2 Forgetting Keys, p. 80: «However, since messaging protocols are typically asynchronous, it is possible that there is still a message in transit from Bob that was encrypted using the previous key»
  16. borisov2004off, 2004, 4.2 Forgetting Keys, p. 81: «To address this problem, Bob should periodically send an empty message acknowledging receipt of a new key from Alice.»
  17. di2005secure, 2005, 6.3 On the Key Refreshing, p. 89: «Thus the value of performing a DH key exchange with each message where authentication depends on the previous shared key is of limited value.»
  18. di2005secure, 2005, 6.3 On the Key Refreshing, p. 88: «We note however, that if the adversary learns the current ephemeral key, future messages may be completely compromised»
  19. di2005secure, 2005, 6.3 On the Key Refreshing, p. 89: «This is even more so given the computational cost of a DH exchange.»
  20. di2005secure, 2005, Thus we suggest that OTR will enjoy better overall security by running the AKE protocol at regular intervals. If a finer-grain refreshing mechanism is desired for forward-secrecy purposes, then a lighter, yet powerful, mechanism can be employed, such as deriving new keys (possibly on a per-message basis, if so desired) by one-way hashing the previous key., p. 89
  21. borisov2004off, 2004, 4.3 Authentication, p. 81: «We only need to use a digital signature on the initial key exchange. In further key exchanges, we use MACs to authenticate a new key using an old, known-authentic shared secret.»
  22. impauth, 2007
  23. borisov2004off, 2004, 4.3 Authentication, p. 81: «The encryption key is itself the result of a hash of the Diffie-Hellman shared secret, which also needs to be authenticated in some way. We accomplish this by digitally signing the initial Diffie-Hellman exchange»
  24. di2005secure, 2005, 3.1 An authentication failure, p. 84
  25. impauth, 2007, 2.2 Attack on OTR version 1, p. 42
  26. borisov2004off, 2004, 2.2 Attack on OTR version 1, p. 42: «This attack allows an adversary Eve to interfere with the initial key exchange in suchway that Alice and Bob still reach the same key at the end of the protocol, but Alice believes that she is talking to Bob while Bob believes that he is talking to Eve.»
  27. di2005secure, 2005, 4. Building A Sound AKE For OTR, p. 85
  28. di2005secure, 2005, 4.1 SIGMA, p. 85
  29. impauth, 2007, 2.3 OTR version 2, p. 43: «The largest change in version 2 was the reworking of the initial authenticated key exchange (AKE). In response to the attack mentioned above, the AKE was changed to a SIGMA variant, as suggested.»
  30. impauth, 2007, 2.3 OTR version 2, p. 43: «Where the public keys were formerly sent in the clear, they are now encrypted using the DH shared secret.»
  31. impauth, 2007, 2.3 OTR version 2, p. 43: «The purpose of r in the above steps is to satisfy an engineering restriction: many IM protocols enforce a maximum size on messages.»
  32. impauth, 2007, 2.3 OTR version 2, p. 43
  33. OTRv2
  34. OTRv3
  35. borisov2004off, 2004, 3.2 Digital signatures and non-repudiation, p. 79: «For this reason, we never use a digital signature to prove Alice’s authorship of any message.»
  36. borisov2004off, 2004, 3.3 MACs and repudiability, p. 79
  37. impauth, 2007, 2.1 Original OTR Protocol, p. 42: «The MAC key used is a hash of the decryption key for that message.»
  38. borisov2004off, 2004, 3.3 MACs and repudiability, p. 79: «Alice uses her copy of the MAC key to compute a MAC of her message, and sends this MAC along with her message in a secure transmission»
  39. borisov2004off, 2004, 4.4 Revealing MAC keys, p. 81
  40. borisov2004off, 2004, 4.4 Revealing MAC keys, p. 81: «Note what this has accomplished: Bob doesn’t need to rely on this key any more, since he’s already checked all of the messages authenticated by that key. However, now anyone can create arbitrary messages that have this MAC key, and no one can rule out any particular person as a potential author of the message.»
  41. di2005secure, 2005, 2.3 Encryption and authentication of messages, p. 84: «The reason behind the above choices (i.e., a malleable encryption and revealing the MAC keys) is deniability.»
  42. di2005secure, 2005, 6.1 Repudiability of the symmetric encryption, p. 88: «Third, revealing the MAC keys does introduce timing and synchronization issues needed to prevent a too-early disclosure. While this is possible this results in added complexity to the system. While the above considerations may be seen as subjective to some extent, in the next subsection we illustrate the danger of adding non-standard security techniques.»
  43. simpldeniability, Limitations
  44. di2005secure, 2005, 2.3 Encryption and authentication of messages, p. 83: «The message is first encrypted using AES in counter mode and then the resulting ciphertext is authenticated using HMAC (with hash function SHA-1).»
  45. borisov2004off, 2004, 3.4 Malleable encryption and forgeability, p. 80: «This encryption is malleable, as a change to any bit in the ciphertext will correspond to a change in the corresponding bit in the plaintext. In particular, if Eve can guess the plaintext of a message, she can then change the ciphertext to decrypt to any other message of the same length, without knowing the key.»
  46. di2005secure, 2005, The reason behind the above choices (i.e., a malleable encryption and revealing the MAC keys) is deniability., p. 84
  47. goldberg2009multi, 2009: «For example, OTR uses message authentication codes (MACs) to provide authenticity. While for two parties MACs can provide a deniable authentication mechanism, MACs do not provide origin authentication when used by more than two parties.»
  48. bian2007off, 2007
  49. bian2007public, 2007
  50. 1 2 goldberg2009multi, 2009
  51. bian2007off, 2007, 3.1. Initial Design, p. 81: «The main concept of our implementation is to create a virtual server, which is a chat member literally acting as a server.»
  52. goldberg2009multi, 2009, 1. Motivation, p. 359: «Finally, the server has to be assumed honest, as a dishonest server could compromise both the confidentiality and the integrity of all messages sent during a chat session.»
  53. goldberg2009multi, 2009, 5. Conclusion, p. 367: «Our proposed framework for multi-party Off-the-Record communication does not depend on a central server; instead we developed a model that mimics a typical private meeting where each user authenticates the other participants for himself.»
  54. Off-the-Record Messaging.
  55. Libraries that support OTR.
  56. https://otr.cypherpunks.ca/software.php IM clients which support Off-the-Record Messaging «out of the box»
  57. Get OTR to work with bitlbee
  58. OTR плагин
  59. Psi+ snapshots
  60. OTR плагин
  61. Краткое описание
  62. Исходный код
  63. OTR plugin for Gajim
  64. Off-the-Record Encryption for Gajim
  65. Home of irssi-otr and xchat-otr
  66. Плагин OTR для Miranda IM
  67. Aditional plugins for Vacuum-IM project
  68. Tkabber OTR Plugin
  69. OTR localhost AIM proxy

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]