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(万方平台首次上网日期,不代表论文的发表时间)