Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar

スポンサーリンク

概要

• 論文の詳細を見る

• Security proofs for cryptographic systems are very important. The ultimate objective of our study is to prove the security of cryptographic systems using the Mizar proof checker. In this study, we formalize the probability on a finite and discrete sample space to achieve our aim. Therefore, we introduce a formalization of the probability distribution and prove the correctness of the formalization using the Mizar proof checking system as a formal verification tool.

• 2013-08-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運用/一般)

スポンサーリンク