排序方式： 共有3条查询结果，搜索用时 828 毫秒
1
1.
设计和分析双方密钥交换协议，目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性，形成一个统一的安全模型是非常必要的。本文评估了eCK＇，eCK和CK模型，证明了eCK’模型是当前最强的密钥交换可证安全模型，并形式化分析了这些模型的强弱关系。此外，对于模型问存在的蕴含关系还提供了形式化证明，并对非蕴含关系给出了反例。 相似文献
2.
比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。 相似文献
3.
基于双线性对密码体制,提出了一个动态密钥管理方案(DKMS),使用秘密重分配技术,能够根据网络状况动态调整分享密钥的节点以及门限值的大小,利用可验证秘密共享技术对不诚实节点进行检测和清除,使得网络在保持高效通信能力的同时具有高度安全性,并对其正确性、安全性和鲁棒性进行了证明。 相似文献
1