Аннотация:В курсовой работе Шляхова Артёма рассматривается задача математического моделирования протокола дистанционного электронного голосования, разработанного Ростелекомом по заказу ЦИК РФ. Сначала излагается детальное описание данного протокола. Затем строится математическая модель данного протокола на базе блок-схем. Автор моделирует работу как всей системы электронного голосования в целом, так каждого участника голосования по отдельности. Построена математическая модель взаимодействия компонентов системы на базе блок-схем, пригодная для дальнейшей верификации. Автор моделирует набор компонентов для обеспечения взаимодействия участников избирательного процесса в единой информационной среде, блокчейн-платформу, обеспечивающую децентрализованные учет и подсчет голосов, наблюдателей, осуществляющих наблюдение за процессом голосования и аудит результатов голосования. Следует отметить высокую сложность алгоритма дистанционного электронного голосования (включающего работу с электронными подписями, алгоритмами шифрования), и компактное выражение всех этапов голосования в построенной автором математической модели. В качестве направления дальнейших исследований может быть выбрана верификация этого протокола или его частей.