本文首先討論了代理簽名體制的可證安全性，為代理簽名的可證安全建立了理論基礎，
同時為研究憑證型代理簽名體制的安全性提出了一種形式化模型，該模型定義了攻擊者的能力和安全目標；然后用該模型分析了一個具體的代理簽名體制的例子，證明了這個代理簽名方案在隨機預言模型下是可證安全的。
關鍵字：代理簽名體制、可證安全
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,.