文章基本信息
- 标题：A Formal Approach for Proof Constructions in Cryptography
- 作者：Markus Kaiser ; Johannes Buchmann
- 期刊名称：International Journal of Computer Science
- 出版年度：2006
- 卷号：1
- 期号：3
- 出版社：World Enformatika Society
- 关键词：prime numbers; primality tests; (conditional) probabilitydistributions; formal proof system; higher-order logic; formalverification; Bayes?Formula; Miller-Rabin primality test
Loading...
