中国空间技术研究院万旺获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国空间技术研究院申请的专利一种时间触发以太网交换器安全性测试系统及测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119728181B 。
龙图腾网通过国家知识产权局官网在2026-03-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411781452.8，技术领域涉及：H04L9/40；该发明授权一种时间触发以太网交换器安全性测试系统及测试方法是由万旺;屈若媛;赵乐乐;王贺;张靓;李剑焘;张延伟;梁培哲;杨舒文设计研发完成，并于2024-12-05向国家知识产权局提交的专利申请。
本一种时间触发以太网交换器安全性测试系统及测试方法在说明书摘要公布了：一种时间触发以太网交换器安全性测试系统，针对时间触发以太网交换器的RTL设计进行测试，以RTL设计代码作为平台输入，基于综合工具把将电路设计转换为网表，并利用相应的模型库将网表进一步转换为具有安全属性标签的模型；同时，根据时间触发以太网交换器的安全性需求，确定待检测的安全属性，并利用形式化语言将其映射至模型中。对模型进行处理后，由检测工具进行验证，若发现失败结果，表明可能存在缺陷漏洞。本发明用于时间触发以太网交换器设计阶段安全性评测，检测时间触发以太网交换器中是否存在安全性漏洞、恶意模块，验证时间触发以太网交换器中用到的第三方IP是否存在硬件木马等问题，以及自定义模块中语法是否规范，是否存在安全漏洞。
本发明授权一种时间触发以太网交换器安全性测试系统及测试方法在权利要求书中公布了：1.一种时间触发以太网交换器安全性测试系统，其特征在于：包括安全性模型构建模块、子模块提取模块、安全属性提取映射模块、模型检测模块和漏洞缺陷定位模块； 安全性模型构建模块对时间触发以太网交换器的RTL设计代码进行转换和处理，生成具有安全属性的电路模型； 子模块提取模块用于将整个电路模型分解为若干状态空间较小的子电路模型； 安全属性提取映射模块根据安全性需求确定待验证的安全属性，并将其转化为模型检测模块可识别的约束条件； 模型检测模块对所有子电路模型的状态空间进行遍历，同时根据所述约束条件验证约束或断言是否通过； 漏洞缺陷定位模块对模型检测模块检测的失败结果进行逆向分析，进而确定其对应的信息传输路径和输入状态。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国空间技术研究院，其通讯地址为：100094 北京市海淀区友谊路104号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励