为解决安全协议设计中容易忽视的信念问题,分析了安全协议中密钥新鲜性、密钥共享性和公钥归属性等信念,定义了描述这些信念的参数,最后提出了一种基于信念绑 定的安全协议消息块设计方法。利用该方法来设计安全协议,可提高安全协议抗攻击的能力。 关键词: 安全协议;消息块;信念绑定;抗攻击 Abstract: To solve the belief problem easy to be ignored in the design for security protocols, the beliefs commonly in the security protocols, i.e. key freshness, key sharing, and public-key owning, are analyzed, and the parameters describing these beliefs are defined, then a building approach for the message blocks of the security protocols is proposed based on the belief-binding. By using this approach, the attack-resistant ability of the security protocols is enhanced. Keywords: security protocol; message block; belief binding; attack resistance