-
题名对一个无可信中心的(t,n)门限签名方案的改进
被引量：7
- 1
-
-
作者
高炜
于晓冬
-
机构
哈尔滨师范大学恒星学院数学与计算机系
哈尔滨师范大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第1期84-86,共3页
-
文摘
一个(t,n)门限签名方案中,任何t个成员的集合能够对任意的消息产生签名而任何少于t个成员的集合都不能发行签名。其中密钥通过可信中心或没有可信中心,通过所有的成员运行交互式协议在n个成员中分配。2006年,郭丽峰对王斌等的方案进行了安全性分析,指出王等的方案是不安全的,该文对王的方案进行了改进,使其抗广泛性攻击及内部攻击。
-
关键词
数字签名
门限签名
秘密共享
内部攻击
广泛性攻击
-
Keywords
digital signature
threshold signature
secret sharing
insider attack
universally forging attack
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名基于分组的启发式SAT新算法——DC&DS算法
被引量：1
- 2
-
-
作者
陈丽
张必英
-
机构
哈尔滨师范大学恒星学院数学与计算机系
哈尔滨商业大学计算机与信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第30期64-67,共4页
-
基金
国家自然科学基金No.60273081~~
-
文摘
目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题。提出了一种基于启发式分组的SAT完备算法。启发式分组策略将一个全局搜索问题,转为局部搜索问题。并将该策略引入到结合BDD与SAT算法的形式验证中,与一般的启发式SAT算法相比,该算法在求解速度和求解问题的规模等方面都明显地改进了,实验结果表明了该算法的可行性和有效性。
-
关键词
形式验证
等价性验证
布尔可满足性
二叉判决图
-
Keywords
formal verification
simulation
Boolean satisfiability
binary decision diagrams
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
