2024-03-28T19:02:32Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00011442
2022-12-14T04:01:33Z
1162:1163
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
Okazaki, Hiroyuki
Futa, Yuichi
Shidama, Yasunari
This work is licensed under a Creative Commons Attribution 3.0 License.
Formal verification
Probability on a finite and discrete sample space
Cryptographic system
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.
Article
Artificial Intelligence Research. 2(4):37-48 (2013)
Sciedu Press
2013-08
eng
journal article
VoR
http://hdl.handle.net/10091/17168
https://soar-ir.repo.nii.ac.jp/records/11442
https://doi.org/10.5430/air.v2n4p37
10.5430/air.v2n4p37
1927-6974
Artificial Intelligence Research
2
4
37
48
https://soar-ir.repo.nii.ac.jp/record/11442/files/Formal_definition_probability_finite_discrete_sample.pdf
application/pdf
127.4 kB
2015-09-28