软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
9期
2416-2429
,共14页
谷科%贾维嘉%王四春%石良武
穀科%賈維嘉%王四春%石良武
곡과%가유가%왕사춘%석량무
代理签名%可证安全性%身份%CDH问题
代理籤名%可證安全性%身份%CDH問題
대리첨명%가증안전성%신빈%CDH문제
目前已经提出的代理签名方案缺乏在完整的代理签名安全模型下证明方案的安全性.在Boldyreva等人提出的代理签名安全模型的基础上,对代理签名的可证安全模型进行详细的形式化定义,提出一种完整的代理签名可证安全模型.同时,为了展示该安全模型的有效性和可扩展性,对Paterson等人提出的标准模型下基于身份的签名方案进行扩展,提出在标准模型下基于身份的代理签名方案,并在可证安全模型下,证明新方案具有在自适应选择消息攻击下存在基于身份的代理签名不可伪造性,其安全性在标准模型下可归约于CDH问题假定.新方案与标准模型下基于公钥密码体制的代理签名方案相比,不仅增加了用户身份的概念,还具有更完备的安全性.
目前已經提齣的代理籤名方案缺乏在完整的代理籤名安全模型下證明方案的安全性.在Boldyreva等人提齣的代理籤名安全模型的基礎上,對代理籤名的可證安全模型進行詳細的形式化定義,提齣一種完整的代理籤名可證安全模型.同時,為瞭展示該安全模型的有效性和可擴展性,對Paterson等人提齣的標準模型下基于身份的籤名方案進行擴展,提齣在標準模型下基于身份的代理籤名方案,併在可證安全模型下,證明新方案具有在自適應選擇消息攻擊下存在基于身份的代理籤名不可偽造性,其安全性在標準模型下可歸約于CDH問題假定.新方案與標準模型下基于公鑰密碼體製的代理籤名方案相比,不僅增加瞭用戶身份的概唸,還具有更完備的安全性.
목전이경제출적대리첨명방안결핍재완정적대리첨명안전모형하증명방안적안전성.재Boldyreva등인제출적대리첨명안전모형적기출상,대대리첨명적가증안전모형진행상세적형식화정의,제출일충완정적대리첨명가증안전모형.동시,위료전시해안전모형적유효성화가확전성,대Paterson등인제출적표준모형하기우신빈적첨명방안진행확전,제출재표준모형하기우신빈적대리첨명방안,병재가증안전모형하,증명신방안구유재자괄응선택소식공격하존재기우신빈적대리첨명불가위조성,기안전성재표준모형하가귀약우CDH문제가정.신방안여표준모형하기우공약밀마체제적대리첨명방안상비,불부증가료용호신빈적개념,환구유경완비적안전성.