Symbolic Model with Computational Soundness
Fan Yu-dan · Jisuanji gongcheng · 2009
Micciancio-Warinschi(MW) method only studies two-party protocols with encryption primitive of public key and without messages of type {{m } k }k' type.Aiming at this problem, this paper uses public key encryption and symmetry encryption.It establishes extended label symbolic model and extended computational model, proves the computational soundness of the extended label symbolic model, and realizes the extension of MV method.