凭证型代理签名体制的安全性研究

本文首先讨论了代理签名体制的可证安全性，为代理签名的可证安全建立了理论基础，
同时为研究凭证型代理签名体制的安全性提出了一种形式化模型，该模型定义了攻击者的能力和安全目标；然后用该模型分析了一个具体的代理签名体制的例子，证明了这个代理签名方案在随机预言模型下是可证安全的。
关键字：代理签名体制、可证安全
Abstract:This paper arguments the provable-security of proxy signature systems and provides theoretical foundations for the provable-security of proxy signature primitive. We present a formal model for the security of delegation-of-certification proxy signature schemes, which defines the capabilities of the adversary and the security goals to capture which mean for a proxy signature scheme to be secure. Then, we present an examples of proxy signature scheme that can be proven secure in the random oracle model respectively.
Keywords: proxy signature schemes ,provable security, security model,.