本文归纳了协议安全属性的具体内容及在协议中实现这些安全属性的相关因素,说明协议安全属性与协议数据内容的相关性,以此为基础提出了以数据属性为中心的协议分析思路,讨论这种思路的合理性,并阐述了以这种思路对协议进行描述和分析的基本思想和方法.在此基础上,提出了一个协议的数据属性体系,说明各个数据属性的基本内容和作用,并说明了各个数据属性相互关联、变化规律,并归纳了这些数据属性与现有安全协议形式化分析方法中一些概念的关联,说明了这些数据属性在协议分析中的语义作用及引入数据属性体系的合理性.随着数据属性体系的提出,给出了一个量化分析模型,给出了对协议分析进行量化分析的一种可以通用的方法——用"前提/结论"对来描述由协议内容推导出协议目标的整个过程,并将它们组合成对一个协议目标推导的完整贡献图,对这种推导关系中每个"前提/结论"对进行重要性分析,从而实现对从协议内容到协议目标之间逻辑关联的量化分析.从这一量化分析思想出发,对现有协议分析方法中较常用的基于逻辑方法和串空间方法进行了量化扩展,建立了相应的量化度量参数体系,实现了对协议的量化分析,说明了量化分析的可行性和在分析中的实际作用.但在扩展中由于两个具体分析方法的局限性,使得在进行量化分析时结论和过程受到一定影响.这说明了有必要提出更适用于对安全协议进行量化分析的形式化分析方法.