【技术实现步骤摘要】
【技术保护点】
一种针对安全协议的形式化建模及验证方法，其特征是，包括如下步骤：1)、对安全协议进行总结和分析，提取出安全协议所涉及的资源、协议参与者交互过程和安全属性，使用Pi演算对这些信息进行描述，获得安全协议的形式化模型；2)、根据得到的安全协议形式化模型作为输入，使用Proverif工具进行自动化验证，对验证的结果进行细化分块，并将发现的攻击路径进行图形化；3)、将细化分块后的验证结果和图形化的攻击路径整合，最终得到一份完整的协议验证结果报表，使其能帮助安全协议研究人员较快的发现并修复安全协议存在的缺陷。
【技术特征摘要】
【专利技术属性】
技术研发人员：李晓红，沈岗，胡静，韩卓兵，谢肖飞，张程伟，
申请(专利权)人：天津大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。