可公开验证的UC安全签密协议

在UC框架下，基于KR模型，对签密协议进行研究．根据签密协议的安全性要求，提出 签密的理想功能函数，并依此设计协议的一般化形式；随后基于UC安全的定义，通过模拟技术， 证明所设计的一般化协议安全实现了理想的功能函数，即此一般化协议是UC安全的；同时，在 UC框架下对所设计协议的存在性不可伪造进行讨论，利用反证法证明其安全性；最后，从一般 到具体，设计了一个具体的签密协议，同样满足UC安全性．在复杂的网络环境中，UC安全的 协议作为一个模块，能与其他协议组合使用，不破坏组合协议的安全性．