本文首先讨论了代理签名体制的可证安全性,为代理签名的可证安全建立了理论基础, 同时为研究凭证型代理签名体制的安全性提出了一种形式化模型,该模型定义了攻击者的能力和安全目标;然后用该模型分析了一个具体的代理签名体制的例子,证明了这个代理签名方案在随机预言模型下是可证安全的。 关键字:代理签名体制、可证安全 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,.