Computational Soundness of Digital Signature in Presence of Active Adversaries
Fan Yu-dan · Jisuanji gongcheng · 2008
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,the soundness of digital signature with respect to the computational model is established,i.e.if digital signature scheme is N-UNF,then the results obtained form the symbolic model carry over to the computational model.Based on this conclusion,a formal system with computational soundness can be consructed.