Для цитирования: ., ., ., ., . . Моделирование и анализ информационных систем. 2010;17(4):7-16. https://doi.org/10.18255/1818-1015-2010-4-7-16

For citation: Anikeev M..., Madlener F..., Schlosser A..., Huss S.A., Walther C... Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography. Modeling and Analysis of Information Systems. 2010;17(4):7-16. (In Russ.) https://doi.org/10.18255/1818-1015-2010-4-7-16