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

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