随着网络的迅速发展和普及,建立在网络基础上的安全协议变得越来越重要。本文主要在基于新鲜性原则分析密码协议的信任多集方法基础上,继续完善并扩展了基于新鲜性原则分析安全协议的思想方法,即基于细粒度新鲜性分析安全协议。在该思想方法中,首先对新鲜性和秘密性等进行了严格而细粒度的定义。如,新鲜性、可信任的新鲜性、可验证的新鲜性、私有秘密、可信任的私有秘密、可验证的私有秘密、署名消息、隐式共享秘密等。有了这些概念就很容易对安全协议初始假设和安全目标进行简洁而细致的定义。我们利用这些概念对密钥建立协议定义了安全目标并建立了一些有效的分析规则,其中每条规则都有合理的语义解释,使得便于理解和使用。除了定义这些概念外,我们还对可信第三方的假设有了更加明确的描述和分析,使得对可信第三方的假设也比较清晰合理。因此,也使得用该理论方法对有可信第三方参与的三方协议进行安全性分析。最后我们用该完善后的基于细粒度新鲜性的安全协议分析思想分别分析了两方协议Helsinki协议和有可信第三方参与的Yahalom协议。其中在Helsinki协议的分析结果中,我们发现了该协议的一个缺陷并给予了解释,但是我们对该缺陷的解释与Mitchell在他的论文中对该缺陷的解释存在着很大的差异。最后,我们从基本定义及细化的安全目标对该缺陷进行的解释与Mitchell的解释对比发现,Mitchell的对该缺陷的解释存在误导性。我们纠正了对该缺陷的误解,并给予了更加合理的解释。此外,在Yahalom协议的分析中,我们将分析结果和安全目标比较发现,该协议明显存在一个缺陷及一个需要注意的地方,而由于对新鲜性缺乏细粒度的定义,这些问题是之前的信任多集方法无法发现的。