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