Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography
The Elliptic Curve Cryptography (ECC) is widely known as secure and reliable cryptographic scheme. In many situations the original cryptographic algorithm is modified to improve its efficiency in terms like power consumption or memory consumption which were not in the focus of the original algorithm...
I tiakina i:
| Ngā kaituhi matua: | , , , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
Yaroslavl State University
2010-12-01
|
| Rangatū: | Моделирование и анализ информационных систем |
| Ngā marau: | |
| Urunga tuihono: | https://www.mais-journal.ru/jour/article/view/1047 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|