Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


Писарев И.А., Бабенко Л.К. Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa. Труды Института системного программирования РАН. 2018;30(4):155-168. https://doi.org/10.15514/ISPRAS-2018-30(4)-10

For citation:


Pisarev I.A., Babenko L.K. Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):155-168. https://doi.org/10.15514/ISPRAS-2018-30(4)-10



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)