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

 ,  ,  ,  ,   . Моделирование и анализ информационных систем. 2010;17(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.)