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

龙图腾网获悉厦门大学申请的专利域名系统配置的分布式验证方法、装置、介质及设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118353813B 。

龙图腾网通过国家知识产权局官网在2025-09-19发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410608736.0，技术领域涉及：H04L43/0805；该发明授权域名系统配置的分布式验证方法、装置、介质及设备是由向乔;俞可心;王垚;张梦芮;王子怡;舒继武设计研发完成，并于2024-05-16向国家知识产权局提交的专利申请。

本域名系统配置的分布式验证方法、装置、介质及设备在说明书摘要公布了：本公开提供了一种域名系统配置的分布式验证方法、装置、介质及设备，该方法包括：根据接收到的针对目标区域文件的验证请求，确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数；基于所述目标区域文件，生成对应的行为树；采用符号化执行遍历所述行为树，生成本地等价类集合；根据所述待验证属性类型以及所述验证过程参数，对所述本地等价类集合进行查询验证。本申请实施例的技术方案可以提高域名系统配置验证的针对性，并保证域名系统配置验证的准确性。

本发明授权域名系统配置的分布式验证方法、装置、介质及设备在权利要求书中公布了：1.一种域名系统配置的分布式验证方法，其特征在于，应用于DNS权威服务器，所述方法包括： 根据接收到的针对目标区域文件的验证请求，确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数； 基于所述目标区域文件，生成对应的行为树； 采用符号化执行遍历所述行为树，生成本地等价类集合； 根据所述待验证属性类型以及所述验证过程参数，对所述本地等价类集合进行查询验证； 所述行为树包括标签节点、类型节点以及行为节点； 基于所述目标区域文件，生成对应的行为树，包括： 基于所述目标区域文件中的每一条资源记录，将各所述资源记录中的域名拆分成至少一个域名标签； 将各所述资源记录对应的域名标签以及记录类型添加至行为树中，以形成对应的标签节点和类型节点； 根据所述类型节点对应的记录类型，对所述行为树中的节点进行修改； 对修改后的每一所述类型节点添加行为节点以作为子节点，所述行为节点用于表征在查询中匹配对应的资源记录时所需的处理； 将所有标签节点连接至用以指示匹配失败的预定节点，得到目标行为树； 根据所述类型节点对应的记录类型，对所述行为树中的类型节点进行修改，包括： 当所述类型节点为DNAME节点时，删除其兄弟标签节点及其子树，并为该类型节点添加一通配标签节点作为兄弟节点，添加通配类型节点作为该通配标签节点的子节点； 当所述类型节点为CNAME节点时，删除其兄弟类型节点，并为所述类型节点添加一兄弟类型节点，该兄弟类型节点用以表征除CNAME之外的所有其余类型； 当所述类型节点为NS节点时，若该资源记录授权的服务器域名为当前服务器，则不作修改；若该资源记录授权的服务器域名为其他服务器，则删除所述类型节点的兄弟标签节点及其子树，并为所述类型节点添加一通配标签节点作为其兄弟节点，添加通配类型节点作为该通配标签节点的子节点； 当所述类型节点为其他节点时，则不作修改。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人厦门大学，其通讯地址为：361005 福建省厦门市思明南路422号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。