计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
3期
40-46
,共7页
于义科%郑雪峰%刘行兵%韩晓光
于義科%鄭雪峰%劉行兵%韓曉光
우의과%정설봉%류행병%한효광
动态门限代理签名%标准模型%基于身份的密码%计算Diffie-Hellman问题
動態門限代理籤名%標準模型%基于身份的密碼%計算Diffie-Hellman問題
동태문한대리첨명%표준모형%기우신빈적밀마%계산Diffie-Hellman문제
目前对于基于身份的门限代理签名方案来说,方案的安全性大多是在随机预言模型下证明的,并且这些门限代理签名方案中的代理签名密钥固定.相对而言,设计标准模型下的动态门限代理签名方案更有实际意义.针对以上两个问题,根据Paterson提出的基于身份的签名方案,利用计算Diffie-Hellman问题的困难性在标准模型下设计了一个代理签名密钥可变的动态门限代理签名方案.最后,利用双线性对技术对方案的正确性进行了严格证明,并在CDH困难假设下给出了方案安全性的详细分析过程和证明,结果表明方案是可证安全的和可靠的.
目前對于基于身份的門限代理籤名方案來說,方案的安全性大多是在隨機預言模型下證明的,併且這些門限代理籤名方案中的代理籤名密鑰固定.相對而言,設計標準模型下的動態門限代理籤名方案更有實際意義.針對以上兩箇問題,根據Paterson提齣的基于身份的籤名方案,利用計算Diffie-Hellman問題的睏難性在標準模型下設計瞭一箇代理籤名密鑰可變的動態門限代理籤名方案.最後,利用雙線性對技術對方案的正確性進行瞭嚴格證明,併在CDH睏難假設下給齣瞭方案安全性的詳細分析過程和證明,結果錶明方案是可證安全的和可靠的.
목전대우기우신빈적문한대리첨명방안래설,방안적안전성대다시재수궤예언모형하증명적,병차저사문한대리첨명방안중적대리첨명밀약고정.상대이언,설계표준모형하적동태문한대리첨명방안경유실제의의.침대이상량개문제,근거Paterson제출적기우신빈적첨명방안,이용계산Diffie-Hellman문제적곤난성재표준모형하설계료일개대리첨명밀약가변적동태문한대리첨명방안.최후,이용쌍선성대기술대방안적정학성진행료엄격증명,병재CDH곤난가설하급출료방안안전성적상세분석과정화증명,결과표명방안시가증안전적화가고적.