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

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

UC secure signcryption protocol with public verifiability

In the frame of universal composability(UC),based on the key registration(KR) model,a signcryption protocol is discussed.According to the security requirements of signcryption protocols,the functionality is presented,and a generalized protocol is designed.The following is the proof of UC security that is proving that the protocol securely realizes the ideal functionality.At the same time,the UC securely existential unforgeability against chosen message attacks is also discussed and is proved secure.At last,a concrete signcryption protocol is given,which is of course UC secure.In complex network environment,as a secure module,the UC secure protocol can be composed with an arbitrary set of protocols,without security loss.