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

龙图腾网恭喜中国人民解放军国防科技大学申请的专利一种验证RFID安全协议不可追踪性的形式化分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119653368B 。

龙图腾网通过国家知识产权局官网在2025-04-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510155764.6，技术领域涉及：H04W12/122；该发明授权一种验证RFID安全协议不可追踪性的形式化分析方法是由张琛;王强设计研发完成，并于2025-02-12向国家知识产权局提交的专利申请。

本一种验证RFID安全协议不可追踪性的形式化分析方法在说明书摘要公布了：本申请涉及一种验证RFID安全协议不可追踪性的形式化分析方法。所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；基于攻击者的能力模型用约束系统符号化表示RFID安全协议的执行迹，利用执行迹定义不可追踪性标准来评估攻击者是否能从执行迹中推断出特定标签或用户的身份或行为；根据不可追踪性标准将验证不可追踪性的问题转化为判断两个约束系统是否具有相同解的问题，对约束系统进行约束求解，根据求解结果实现系统的不可追踪性分析。采用本方法能够实现快速的计算机自动化验证。

本发明授权一种验证RFID安全协议不可追踪性的形式化分析方法在权利要求书中公布了：1.一种验证RFID安全协议不可追踪性的形式化分析方法，其特征在于，所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；所述能力模型用于描述攻击者可能进行的操作；基于所述攻击者的能力模型用约束系统符号化表示RFID安全协议的执行迹，包括协议在正常和攻击场景下的所有可能执行路径；利用所述执行迹定义不可追踪性标准来评估攻击者是否能从执行迹中推断出特定标签或用户的身份或行为；根据所述不可追踪性标准将验证不可追踪性的问题转化为判断两个约束系统是否具有相同解的问题，对所述约束系统进行约束求解，若两个约束系统的解空间存在交集，则表明存在至少一个解同时满足两个系统的约束条件，验证了不可追踪性，如果不存在交集，则表明两个执行迹在攻击者视角下是可区分的，即系统的不可追踪性失效。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。