Title | ||
---|---|---|
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar. |
Year | DOI | Venue |
---|---|---|
2013 | 10.5430/air.v2n4p37 | Artif. Intell. Research |
Field | DocType | Volume |
Mizar system,Cryptography,Computer science,Correctness,Automated proof checking,Theoretical computer science,Probability distribution,Mathematical proof,Sample space,Formal verification | Journal | 2 |
Issue | Citations | PageRank |
4 | 0 | 0.34 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hiroyuki Okazaki | 1 | 5 | 3.47 |
Yuichi Futa | 2 | 23 | 15.08 |
Yasunari Shidama | 3 | 166 | 72.47 |