摘要： MW方法仅考虑使用公钥加密原语，不包含 类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计算模型，论证扩展标记符号模型的计算可靠性，实现对MW方法的扩展。

关键词: 符号模型, 计算模型, 计算可靠性

Abstract: Micciancio-Warinschi(MW) method only studies two-party protocols with encryption primitive of public key and without messages of type 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.

Key words: symbolic model, computational model, computational soundness

中图分类号: 

• TP309