Отрывок: Проверка достоверности передаваемой информации. Каждая из комиссий должна проверить, что пара действительно получена от избирателя с номером j и согласуется с переданным обязательством. Это достигается проверкой следующих равенств: ∏ ( )∏ ∏ ∑ ∑ (17) Если равенство выполняется, то данные можно считать достоверными ...
Название : Разработка архитектуры безопасного протокола тайного голосования
Авторы/Редакторы : Егоров С. Д.
Шиверов П. К.
Шубочкин А. В.
Министерство образования и науки Российской Федерации
Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет)
Институт информатики
математики и электроники
Дата публикации : 2017
Библиографическое описание : Егоров, С. Д. Разработка архитектуры безопасного протокола тайного голосования : вып. квалификац. работа по спец. "Компьютерная безопасность" / С. Д. Егоров ; рук. работы П. К. Шиверов; рец. А. В. Шубочкин ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и элект. - Самара, 2017. - on-line
Аннотация : Проведен анализ требований к протоколам электронного голосования.Проведен анализ основных моделей протоколов Электронногоголосования.Разработана и подробно описана модульная модель протоколаэлектронного голосования с разделением на основе схемы Шамира
Другие идентификаторы : RU\НТБ СГАУ\ВКР20170215153624
Ключевые слова: схема обязательств
схема шамира
безопасность электронного голосования
аргумент с нулевым разглашением
имитационный анализ
электронное голосование
модели протоколов электронного голосования
множественный выбор в протоколе электронного голосования
протоколы с разделением
BAN-логика
Располагается в коллекциях: Выпускные квалификационные работы




Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.