可公开验证的UC安全签密协议
在UC框架下,基于KR模型,对签密协议进行研究.根据签密协议的安全性要求,提出签密的理想功能函数,并依此设计协议的一般化形式;随后基于UC安全的定义,通过模拟技术,证明所设计的一般化协议安全实现了理想的功能函数,即此一般化协议是UC安全的;同时,在UC框架下对所设计协议的存在性不可伪造进行讨论,利用反证法证明其安全性;最后,从一般到具体,设计了一个具体的签密协议,同样满足UC安全性。在复杂的网络环境中,UC安全的协议作为一个模块,能与其他协议组合使用,不破坏组合协议的安全性。
签密协议 公开验证 存在性伪造 UC安全
苏婷 徐秋亮
山东大学计算机科学与技术学院,济南 250101
国内会议
南京
中文
55-58
2008-11-10（万方平台首次上网日期，不代表论文的发表时间）