-
题名齐次F5算法的简单终止性证明
- 1
-
-
作者
潘森杉
胡予濮
王保仓
-
机构
西安电子科技大学综合业务网国家重点实验室
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2015年第8期1989-1993,共5页
-
基金
国家自然科学基金(61173151
61173152)资助课题
-
文摘
自从F5算法提出以来,出现了一批基于标签的Gr?bner基算法,它们使用了不同的选择策略且减少冗余多项式的准则也各不相同。为了满足正确终止性,这些算法的策略和准则必须满足一些一般的规律。根据这些规律,该文提出了一个框架,使大多数算法成为该框架的实例。随后,利用重写基的性质,得到了框架的简单正确终止证明。为了得到F5算法的简单证明,该文对F5算法的约化操作进行合理的化简。特别地,对于齐次F5算法,证明了其复杂的选择策略等价于按模序选择。这样,齐次F5算法就能看成框架的一个特例,从而得到了F5算法的简单证明。
-
关键词
密码学
GrSbner基
标签
F5算法
终止证明
-
Keywords
Cryptography
Gr6bner basis
Signature
F5 algorithm
Termination proof
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
