文章基本信息
- 标题：Formal Analysis of a Public-Key Algorithm
- 作者：Markus Kaiser ; Johannes Buchmann
- 期刊名称：International Journal of Computer Science
- 出版年度：2007
- 卷号：2
- 期号：02
- 出版社：World Enformatika Society
- 关键词：public-key encryption; Rabin public-key scheme; formal
Loading...
