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

龙图腾网获悉兰州理工大学申请的专利一种基于CPN的NC-Link协议安全性形式化建模分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119382994B 。

龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411571672.8，技术领域涉及：H04L9/40；该发明授权一种基于CPN的NC-Link协议安全性形式化建模分析方法是由石建明;冯涛;郑路;吴毅;朱家锋;王龙鑫;铁小平设计研发完成，并于2024-11-06向国家知识产权局提交的专利申请。

本一种基于CPN的NC-Link协议安全性形式化建模分析方法在说明书摘要公布了：本发明提供一种基于CPN的NC‑Link协议安全性形式化建模分析方法，涉及数控设备网络通信安全技术领域。该方法包括：1建立NC‑Link协议CPN模型；2NC‑Link协议安全性分析；3NC‑Link协议及NC‑Link协议CPN模型改进；4改进后NC‑Link协议安全性分析。本发明基于颜色Petri网建立NC‑Link协议CPN模型，并引入Dolev‑Yao攻击者模型对NC‑Link协议的安全性进行形式化分析，通过分析发现NC‑Link协议中的身份认证和密钥管理漏洞，针对NC‑Link协议存在的问题，我们提出了一种零知识证明与密钥交换相结合的改进NC‑Link协议方案，优化了认证机制和密钥管理机制。本发明不仅为提升NC‑Link协议的安全性提供了切实可行的解决方案，也为数控机床行业通信协议的安全性研究开辟了新的思路。

本发明授权一种基于CPN的NC-Link协议安全性形式化建模分析方法在权利要求书中公布了：1.一种基于CPN的NC-Link协议安全性形式化建模分析方法，其特征在于，包括： 1建立NC-Link协议CPN模型 基于颜色Petri网建立NC-Link协议的安全性形式化分析CPN模型，通过状态空间工具对CPN模型进行分析，验证CPN模型运行结果是否与预期NC-Link协议交互结果相同； 2NC-Link协议安全性分析 在NC-Link协议CPN模型的网络传输层中引入Dolev-Yao攻击者模型，在NC-Link协议CPN模型中设置攻击者采用不同攻击方式对NC-Link协议进行攻击，通过状态空间工具对NC-Link协议安全性分析； 3NC-Link协议及NC-Link协议CPN模型改进 ①、NC-Link协议安全改进：针对NC-Link协议存在的问题，改进密钥生成交换方案，在密钥交互过程中加入时间戳来抵抗重放攻击，改进的NC-Link协议包括认证连接阶段与请求交互阶段，在认证连接阶段不使用预共享密钥机制，由客户端根据设备信息生成RSA密钥对，通过零知识认证与服务端实现密钥交换； ②、改进NC-Link协议CPN模型：改进的NC-Link协议CPN模型的顶层模型由5个变迁和16个库所构成，Regisionamp;connection替代变迁表示客户端身份认证与发起连接，Regisitedamp;connected替代变迁表示服务端验证身份与建立连接，Alternation替代变迁表示客户端请求交互，Alternated替代变迁表示服务端与客户端建立连接，Net替代变迁表示信息传输网络； ③、状态空间工具验证：通过状态空间工具对改进的NC-Link协议CPN模型进行分析，验证改进的NC-Link协议CPN模型运行结果是否与预期改进的NC-Link协议交互结果相同； 4改进后NC-Link协议安全性分析 在改进的NC-Link协议CPN模型的网络传输层中引入Dolev-Yao攻击者模型，采用不同攻击方式对改进的NC-Link协议进行攻击，通过状态空间工具对改进的NC-Link协议安全性分析，并对改进前后NC-Link协议的开销对比。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人兰州理工大学，其通讯地址为：730050 甘肃省兰州市七里河区彭家坪路36号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。