Главная
» Электронная библиотека » ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ
ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ
| Категория: | техника | |
| Авторы (ПГУ): | Веселова Марина Дмитриевна [0]  , Шутова Валерия Сергеевна [0] , Пащенко Дмитрий Владимирович [0] , Пучкова Ульяна Николаевна [0] , Забродина Ксения Андреевна [0] , Трокоз Дмитрий Анатольевич [100] | |
| Аннотация: | This article describes the method of end-to-end encryption of messages in messaging apps using the automata theory, which are necessary for the visual representation of this mechanism. Interpretation of end-to-end encryption on event non-deterministic automaton allows to implement these methods not only by software, but also by hardware. Since at the present time there is a high probability of loss and falsification of personal data of users and storing the correspondence in a decrypted form on the network, such software methods of message encryption as symmetric and asymmetrical are used now; the distinctive features of each of which were described in this article. On the basis of these encryption methods, two protocols, which are the most reliable and frequently used in modern messaging apps, were considered. In one of the methods, a serious vulnerability was found. It is missing in another protocol due to the use of Double Ratchet and triple Diffie-Hellman. This vulnerability was described in this article. In the analysis of the protocols, the Diffie-Hellman algorithm and the AES-256 standard were detailed. The AES-256 standard is represented by a form of mathematical model using the automata theory, on the basis of which a hardware implementation of the encryption mechanism is possible. | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2019 | |
| Издательство: | Общество с ограниченной ответственностью "Офорт" (Самара) | |
| Где опубликовано: | Сборник трудов конференции | |
| Индексация: | РИНЦ | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Отрасль науки: | 05.13.17 Теоретические основы информатики. | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | ПГУ | |
| Библиографическая ссылка: | Веселова М.Д., Пащенко Д.В., Забродина К.А., Синев М.П., Сафронова В.С., Трокоз Д.А., Пучкова У.Н., Мартышкин А.И.ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ В сборнике: Проблемы управления и моделирования в сложных системах Труды XXI Международной конференции. В 2-х томах. Под редакцией С.А. Никитова, Д.Е. Быкова, С.Ю. Боровика, Ю.Э. Плешивцевой. 2019. С. 226-231. | |
| Внешняя веб-ссылка: | https://elibrary.ru/item.asp?id=41098392 | |
| Язык: | Английский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 27.11.2019 | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1574839620  | |
| Формат: | Не указан |