摘要
本文首先讨论了代理签名体制的可证安全性,为代理签名的可证安全建立了理论基础,同时为研究凭证型代理签名体制的安全性提出了一种形式化模型,该模型定义了攻击者的能力和安全目标;然后用该模型分析了一个具体的代理签名体制的例子,证明了这个代理签名方案在随机预言模型下是可证安全的。
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.
出处
《微计算机信息》
北大核心
2005年第12X期52-54,84,共4页
Control & Automation
基金
河南省自然科学基金(批准号SP200304098)资助
关键词
代理签名体制
可证安全
proxy signature schemes
provable security
security model
