有限域上的模逆运算和椭圆曲线上的点乘运算是椭圆曲线密码体制中的关键运算。美国纽约大学Victor Shoup开发并维护的数论算法库NT......

有限域GF（2m）在椭圆曲线密码体制中有着非常重要的应用,密码体制的整体效率大部分取决于GF（2m）上的运算效率.该文给出了有限域GF（2m）上使......

Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures......