公开(公告)号：CN118378231A

公开(公告)日：2024-07-23

申请号：CN202410519458.1

申请日：2024-04-28

Applicant: 厦门大学

Inventor： 向乔 ,  韩藁 ,  方星 ,  丁飞燕 ,  游理钊 ,  舒继武

IPC: G06F21/31 ,  G06F21/44

Abstract: 本公开提供了一种访问控制策略验证方法、电子设备及存储介质。本公开的访问控制策略验证方法包括：对待验证属性进行编码，得到初始验证数据，待验证属性基于待验证访问控制策略生成；根据初始验证数据和默认约束数据生成目标验证数据，默认约束数据为默认针对访问请求进行约束的数据；以及根据目标验证数据确定待验证访问控制策略的验证结果。

公开(公告)号：CN117852011A

公开(公告)日：2024-04-09

申请号：CN202311854823.6

申请日：2023-12-29

Applicant: 厦门大学

Inventor： 向乔 ,  宋明远 ,  方星 ,  丁飞燕 ,  游理钊 ,  舒继武

IPC: G06F21/44 ,  G06F21/56 ,  G06F21/57

Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括：根据目标策略生成初始公式数据和待验证公式，待验证公式和初始公式数据中的初始公式均为可满足性模理论公式；根据待验证公式对初始公式数据进行公式选择处理，生成目标公式数据，目标公式数据包括部分初始公式数据；根据目标公式数据和待验证公式进行可满足性模理论求解，生成第一求解结果数据；以及根据第一求解结果数据确定目标策略的策略验证结果。

公开(公告)号：CN117640382A

公开(公告)日：2024-03-01

申请号：CN202311636934.X

申请日：2023-12-01

Applicant: 厦门大学

Inventor： 向乔 ,  黄邦 ,  方星 ,  丁飞燕 ,  舒继武

IPC: H04L41/0866

Abstract: 本公开提供了一种基于网络领域知识的网络配置验证加速方法、电子设备及可读存储介质。本公开的方法，包括：筛选得到网络配置信息中与待验证的网络不变量无关的第一配置信息，将网络配置信息中的第一配置信息忽略，得到第二配置信息；对待验证的网络不变量进行编码，得到第一编码信息；对第二配置信息进行编码，得到第二编码信息，其中，在编码过程中，对第二配置信息中的数值属性信息进行抽象；将第一编码信息和第二编码信息进行组合，得到编码信息；确定编码信息中的第一变量的搜索顺序，以及，确定编码信息中的第一变量的赋值顺序；根据搜索顺序，选取编码信息中的第一变量，然后根据赋值顺序，对选取的第一变量进行赋值，进行编码信息的验证。