Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we introduce our formalization of the definitions and theorems related to an elliptic curve over a finite prime field. The elliptic curve is important in an elliptic curve cryptosystem whose security is based on the computational complexity of the elliptic curve discrete logarithm problem.

• SPRINGERの論文
• 2013-02-00

著者

• 岡崎 裕之

  信州大学工学部

関連論文

• Moodle用数理演習モジュールを用いたWeb上での数理教育手法(ユビキタス・モバイル学習環境/一般)
• M-062 無線端末位置推定法Gomashioの改良(ユビキタス・モバイルコンピューティング,一般論文)
• Mizarによる数論アルゴリズムの形式化と検証(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
• Mizarによる数論アルゴリズムの形式化と検証(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
• Mizar による数論アルゴリズムの形式化と検証
• Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
• Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
• Mizarによる大学数学向け高度遠隔教育用コンテンツ開発(e-Learning運用/一般)

スポンサーリンク