会议专题

Soundness of Digital Signature in the Presence of Active Adversaries

This paper extends previous results bridging the gap between the symbol approach and the computational approach.Specifically,for the case of protocols that use signatures.based on the Micciancio-Warinschi method we establish the soundness of digital signature with respect to the computational model.

symbofic model computational model computational soundness digital signature

ZHU Yu-na WANG Ya-di HAN Ji-hong ZHANG Chao

国际会议

The International Conference Information Computing and Automation(2007国际信息计算与自动化会议)

成都

英文

1352-1355

2007-12-19(万方平台首次上网日期,不代表论文的发表时间)