Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
Trudy Instituta sistemnogo programmirovaniâ RAN/Trudy Instituta sistemnogo programmirovaniâ