【技术实现步骤摘要】
本专利技术涉及网络信息安全，涉及一种基于有限轨迹上线性时态逻辑(ltlf)引导的黑盒模糊测试方法和系统，用于检测安全协议实现中的异常逻辑行为和潜在的逻辑漏洞。
技术介绍
1、随着信息技术的迅猛发展，社会已经进入了万物互联的时代。基于密码学的安全协议在加密通信、身份认证和隐私保护方面发挥着重要作用，以确保提供安全可靠的通信服务。因此，安全协议本身的安全性对于维护网络安全而言就显得至关重要。其安全性包括两个方面，一方面是理论设计的安全性，另一方面是基于协议理论转化而来的实际可用的软硬件系统(也即本专利技术中提到的协议实现)的安全性。通过形式化分析等方法，可对安全协议的理论设计进行全面的分析和验证，以尽可能消除理论层面存在的安全问题。然而，安全协议往往具有极其复杂的逻辑结构，这意味着在将协议规范转化为实际的软硬件实现过程中可能会受到多种不利因素的影响，例如编程错误、对规范的误解以及为了性能优化而导致的安全妥协等，导致安全协议实现更易出现漏洞。
2、安全协议实现中的漏洞大致可以分为内存类漏洞和逻辑类漏洞两类。内存相关的漏洞通常会导致...
【技术保护点】
1.一种基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，包括：
2.根据权利要求1所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，该方法具体包括：
3.根据权利要求2所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，所述基于确定有限自动机DFA引导模糊测试进程具体包括：
4.根据权利要求2所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，该方法还包括：
5.一种基于有限轨迹上线性时态逻辑引导的黑盒模糊测试系统，其特征在于，该系统用于：
6....
【技术特征摘要】
1.一种基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，包括：
2.根据权利要求1所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，该方法具体包括：
3.根据权利要求2所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，所述基于确定有限自动机dfa引导模糊测试进程具体包括：
4.根据权利要求2所述的基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法，其特征在于，该方法还包括：
5...
【专利技术属性】
技术研发人员：顾纯祥，赵栋梁，郑永辉，张协力，郭家兴，
申请(专利权)人：中国人民解放军战略支援部队信息工程大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。