【技术实现步骤摘要】
本申请涉及信息安全，尤其涉及一种针对安全协议的安全性分析方法及电子设备。
技术介绍
1、在互联网及相关技术飞速发展的当下，网络已深度融入大众日常生活。但网络安全形势严峻，网络攻击者技术不断升级，安全问题愈发突出，频发的安全事件给人民的生命财产带来极大威胁，安全协议是抵御这些威胁的重要手段。
2、形式化分析方法是安全协议安全性分析的主流方法，但是目前存在形式化验证不够全面且复杂度高的问题。
技术实现思路
1、有鉴于此，本申请的目的在于提出一种针对安全协议的安全性分析方法及电子设备，以解决对于安全协议形式化验证不够全面且复杂度高的问题。
2、基于上述目的，本申请的第一方面提供了一种针对安全协议的安全性分析方法，包括：
3、构建第一安全目标集合、第二安全目标集合、固定敌手能力集合、可变敌手能力集合以及新增敌手能力集合；
4、基于所述第一安全目标集合和所述第二安全目标集合构建待验证的安全目标组合集合；
5、基于所述固定敌手能力集合、所述可...
【技术保护点】
1.一种针对安全协议的安全性分析方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述基于所述第一安全目标集合和所述第二安全目标集合构建待验证的安全目标组合集合，包括：
3.根据权利要求1所述的方法，其特征在于，所述基于所述固定敌手能力集合、所述可变敌手能力集合以及所述新增敌手能力集合，对所述安全目标组合集合中的每个安全目标进行攻破验证，包括：
4.根据权利要求1所述的方法，其特征在于，在将攻破所述安全目标的敌手能力集合确定为所述安全目标的临界敌手能力集合之后，包括：
5.根据权利要求3所述的方法，其特...
【技术特征摘要】
1.一种针对安全协议的安全性分析方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述基于所述第一安全目标集合和所述第二安全目标集合构建待验证的安全目标组合集合，包括：
3.根据权利要求1所述的方法，其特征在于，所述基于所述固定敌手能力集合、所述可变敌手能力集合以及所述新增敌手能力集合，对所述安全目标组合集合中的每个安全目标进行攻破验证，包括：
4.根据权利要求1所述的方法，其特征在于，在将攻破所述安全目标的敌手能力集合确定为所述安全目标的临界敌手能力集合之后，包括：
5.根据权利要求3所述的方法，其特征在于，通过所述第二验证敌手能力集合对所述待验证安全目标进行攻破...
【专利技术属性】
技术研发人员：王晨宇，徐国胜，李一，陶小峰，郭少勇，
申请(专利权)人：北京邮电大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。