安全协议实施安全性分析与验证是网络空间安全的重要组成部分。目前许多研究工作基于可以获得安全协议实施,通过程序验证方法与模型抽取方法研究安全协议实施安全性。但是随着知识产权保护力度的加强和代码混淆技术的广泛应用,获取和理解安全协议实施变得越来越困难。因此,本文在不能够获取安全协议实施的前提下,基于可以获得安全协议实施产生的网络轨迹和安全协议实施规范,分析安全协议实施安全性。基于能够获取网络轨迹和安全协议实施规范的前提开发FSIA软件,分析某大学统一身份认证平台中的混合安全协议实施安全性。本文主要工作如下:(1)基于七步法,提出安全协议实施本体框架。该方法输入目标安全协议实施规范,构造安全协议实施本体框架,完善安全协议实施本体。(2)应用曲线拟合方法和聚类方法,基于混合网络协议轨迹,推理轨迹的分隔符,提出安全协议格式逆向方法。该方法输入混合安全协议轨迹,分类并输出安全协议格式。(3)基于贪心算法,提出安全协议轨迹到安全协议实施本体的映射方法。该方法输入格式解析的安全协议轨迹,输出安全协议轨迹到安全协议实施本体的映射。(4)融合安全协议实施本体、所提出的基于混合网络轨迹的安全协议格式逆向方法和安全协议轨迹到安全协议实施本体的映射方法,提出安全协议实施安全性分析方法。该方法输入格式解析的网络轨迹、网络轨迹到实施本体的映射和安全协议实施本体,综合分析安全协议实施安全性。(5)根据所提出的基于网络轨迹的安全协议实施安全性分析方法设计并实现FSIA软件,FSIA输入混合协议轨迹和安全协议实施本体,输出安全性协议实施安全性分析结论。(6)应用开发的FSIA软件,分析某大学统一身份认证平台登录协议CAS-SSO和CAS-OAUTH实施安全性。结果表明CAS协议中应用服务器授权凭证Ticket存在泄露风险,攻击者能够凭借Ticket获取用户在各应用服务器中的所有数据,故某大学统一身份认证平台CAS协议实施不规范,存在安全漏洞。