-
公开(公告)号：CN118353813A
公开(公告)日：2024-07-16
申请号：CN202410608736.0
申请日：2024-05-16
Applicant: 厦门大学
IPC: H04L43/0805 , H04L43/50 , H04L61/4511 , H04L67/10
Abstract: 本公开提供了一种域名系统配置的分布式验证方法、装置、介质及设备，该方法包括：根据接收到的针对目标区域文件的验证请求，确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数；基于所述目标区域文件，生成对应的行为树；采用符号化执行遍历所述行为树，生成本地等价类集合；根据所述待验证属性类型以及所述验证过程参数，对所述本地等价类集合进行查询验证。本申请实施例的技术方案可以提高域名系统配置验证的针对性，并保证域名系统配置验证的准确性。
Search Results
1
records
(took 0.019 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
