排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
动态门限秘密共享方案 总被引:17,自引:0,他引:17
为了克服现有的门限秘密共享方案在处理参与者集合动态变化时灵活性差的缺点,提出了一个门限秘密共享方案,并给了一个简单实用的计算L agrange插值的方法。该方案可以动态添加或者删除参与者,而不需要重新分发子秘密,减小了方案实施的代价,子秘密由参与者自己保存,公开的是子秘密的一个影子,从而子秘密可以复用。与直接用基于一般访问结构的共享方案实现门限秘密共享相比,该方案运算代价小。 相似文献
2.
基于攻击者的“角色冒充”的协议验证方法 总被引:2,自引:0,他引:2
网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的 相似文献
3.
改进的加密协议形式化验证模型和算法 总被引:3,自引:0,他引:3
状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协议的描述定义状态空间 ,建立以攻击者为核心的验证模型 ,使用搜索算法检测是否存在攻击者能完成攻击的不安全状态。在对通信过程、消息传递方式等方面改进后 ,搜索空间的可达状态数减少了很多 ,验证系统的效率显著提高 相似文献
4.
由于现有的基于“点对点”(peer to peer,P 2P)网络的小额支付协议具有存在中央瓶颈,缺乏负载平衡机制等缺陷,该文提出了一种新的充分利用P 2P系统特性的小额支付协议CPay。该协议在系统全部节点形成的集合与具有较高性能的节点子集合间建立动态相容哈希映射,每笔交易都需支付方对应的具有较高性能的节点进行校验,从而确保电子货币的任何非法使用都会被及时检测到。协议有效利用了系统的异构性,并能实现负载均衡,利用随机Petri网对CPay进行建模,分析和模拟结果表明CPay相比此前的研究成果具有更低的延迟和更高的吞吐率。 相似文献
1