Свойства Signal протокола

Хороший список свойств протокола Signal человек сагрегировать и пояснил.
https://blog.sesse.net/blog/tech/2016-03-31-23-26_signal.html
Переведу на русский язык:

* Конфиденциальность: сообщения зашифрованы, не могут быть прочитаны
  никем подслушивающим в канале;
* Целостность: сообщения защищены от искажений: преднамеренных или
  случайных;
* Аутентификация: вы знаете кто вам послал сообщение (хотя должны
  проверить личность вне канала связи безусловно);
* Консистентность участников: в групповом чате все видят один и тот же
  список людей;
* Проверка пункта назначения: сообщения которые вы получили
  действительно предназначены вам;
* Совершенная прямая секретность: если кто-либо получит ваши ключи,
  то он не сможет дешифровать раннее перехваченные сообщения;
* Совершенная обратная секретность: если кто-либо получит ваши ключи,
  то он не сможет дешифровать последующие сообщения;
* Сохранение порядка: сообщения не могут прийти в ином порядке;
* Отказ от авторства: вы не можете криптографически доказать
  другим чтоб кто-то вам послал это сообщение;
* Отказ от участия: вы не можете криптографически доказать что вы
  участвовали в групповом чате;
* Асинхронность: клиенты не обязаны быть в online чтобы получать
  сообщения.