文件名称：可公开验证的UC安全签密协议 (2008年)
文件大小：820KB
文件格式：PDF
更新时间：2024-06-04 10:09:47
自然科学 论文
在UC框架下，基于KR模型，对签密协议进行研究。根据签密协议的安全性要求，提出签密的理想功能函数，并依此设计协议的一般化形式；随后基于UC安全的定义，通过模拟技术，证明所设计的一般化协议安全实现了理想的功能函数，即此一般化协议是UC安全的；同时，在UC框架下对所设计协议的存在性不可伪造进行讨论，利用反证法证明其安全性；最后，从一般到具体，设计了一个具体的签密协议，同样满足UC安全性。在复杂的网络环境中，UC安全的协议作为一个模块，能与其他协议组合使用，不破坏组合协议的安全性。