买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜西安电子科技大学申请的专利一种基于运行时验证的边缘服务器DoS攻击检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113626813B 。

龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202110876832.X，技术领域涉及：H04L9/40；该发明授权一种基于运行时验证的边缘服务器DoS攻击检测方法是由于斌;陆旭;田聪;段振华;张南;曲南江设计研发完成，并于2021-07-31向国家知识产权局提交的专利申请。

本一种基于运行时验证的边缘服务器DoS攻击检测方法在说明书摘要公布了：本发明属于程序运行验证技术领域，公开了一种基于运行时验证的边缘服务器DoS攻击检测方法，所述基于运行时验证的边缘服务器DoS攻击检测方法包括：采用PPTL公式形式化描述边缘服务器预期行为；采用PPTL公式形式化描述边缘服务器DoS攻击特征；针对PPTL公式中涉及的程序变量与程序函数，对边缘服务器运行程序进行插桩；针对边缘服务器程序的动态执行轨迹，采用并行运行时验证框架检测程序运行状态，根据检测结果判断边缘服务器是否正在被DoS攻击。本发明提供的基于并行运行时验证框架能够充分利用边缘服务器的空闲计算与存储资源，提高验证效率，及时发现攻击，还能够使得程序执行的每一个状态均能够得到可靠的验证，有效保障了边缘服务器安全性。

本发明授权一种基于运行时验证的边缘服务器DoS攻击检测方法在权利要求书中公布了：1.一种基于运行时验证的边缘服务器DoS攻击检测方法，其特征在于，所述基于运行时验证的边缘服务器DoS攻击检测方法包括以下步骤： 步骤一，采用PPTL公式形式化描述边缘服务器预期行为； 步骤二，采用PPTL公式形式化描述边缘服务器DoS攻击特征； 步骤三，针对PPTL公式中涉及的程序变量与程序函数，对边缘服务器运行程序进行插桩； 步骤四，针对边缘服务器程序的动态执行轨迹，采用并行运行时验证框架检测程序运行状态，根据检测结果判断边缘服务器是否正在被DoS攻击； 边缘服务器DoS攻击特征描述包括： Smurf攻击描述模块1： 需要说明的是，PPTL公式Q2的原子命题send表示被攻击的边缘服务器向目的地址为该子网的广播地址发送数据包，receive表示被攻击设备接收到从子网中主机发来的回应数据包；PPTL公式Q2的子公式◇receive+表示receive行为不断发生，即不断地接收到其他节点返回的数据包；PPTL公式Q2的含义为存在某个状态，从该状态开始，虽然该设备没有发送数据包，但是却不断能够接收到数据包； SYNFlood攻击描述模块2： 需要说明的是，PPTL公式Q3的原子命题receive.SYN、send.SYNACK和receive.ACK分别表示被攻击的边缘服务器接收到SYN数据包、发送SYN-ACK回应数据包和接收到ACK数据包；PPTL公式Q3的子公式使用receive.SYN；send.SYNACK表示接收SYN数据包和发送SYN-ACK数据包的行为先后发生；PPTL公式Q3的含义为存在某个状态，从该状态开始，边缘服务器接收SYN数据包并进而发送SYN-ACK数据包，但是在之后的所有状态上，都没有接收到ACK数据包； Land攻击描述模块3：Q4≡◇receive.SYN→◇send.SYNACK；send.ACK+； 需要说明的是，PPTL公式Q4的原子命题receive.SYN、send.SYNACK和send.ACK分别表示被攻击的边缘服务器接收到SYN数据包、发送SYN-ACK回应数据包和发送ACK数据包；PPTL公式Q4的子公式send.SYNACK；send.ACK+表示发送SYN-ACK数据包和发送ACK的行为不断发生；PPTL公式Q4的含义为存在某个状态，从该状态开始，边缘服务器接收到SYN数据包，在此之后，不断地发送SYN-ACK数据包和ACK数据包。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学，其通讯地址为：710071 陕西省西安市太白南路2号西安电子科技大学；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。