-
公开(公告)号：CN114610658A
公开(公告)日：2022-06-10
申请号：CN202210411830.8
申请日：2022-04-19
Applicant: 浙江大学
Abstract: 本发明公开一种针对ARM架构的基于安全属性的访问控制形式化验证方法，该方法对系统中的实体进行抽象，为其赋予安全属性，以实现灵活、细粒度的系统资源管理，增强了ARM架构的资源安全保护。首先，定义系统资源的原子安全属性，并基于这些原子安全属性，为系统中的实体指定安全属性；其次，定义访问控制策略，访问控制策略为可信执行环境和非可信执行环境中产生的资源访问请求做出是否允许访问的判断，它以主体属性、客体属性和访问属性配置为输入等，本发明可以实现对特权模式与用户模式的内存读写权限的细粒度描述，增强ARM架构的内存隔离保护。实验证明了本方案设计的访问控制机制的有效性及其较低的性能开销。
-
公开(公告)号：CN113095382B
公开(公告)日：2022-07-26
申请号：CN202110337007.2
申请日：2021-03-30
Applicant: 浙江大学
IPC: G06V10/764 , G06V10/774 , G06V10/82 , G06K9/62 , G06N3/04 , G06N3/08
Abstract: 本发明公开了一种基于CT图像的可解释性肺结核分类网络识别方法，包括以下步骤：获取待测人员肺部计算机断层成像CT图像，将肺实质图像进行归一化处理并缩放；建立并训练可解释性肺结核分类网络，可解释性肺结核分类网络以残差网络为基础网络并加入Dense思想和改进后的注意力机制而建立；将归一化处理并缩放到512x512大小的肺实质图像送入到训练好的可解释性肺结核分类网络，得到并在上位机中输出待测人员肺结核的分类结果和相应的类激活热力图。本发明能根据对待测人员CT图像实现获得待测人员肺结核的分类结果和输出相应的类激活热力图。
-
公开(公告)号：CN113095382A
公开(公告)日：2021-07-09
申请号：CN202110337007.2
申请日：2021-03-30
Applicant: 浙江大学
Abstract: 本发明公开了一种基于CT图像的可解释性肺结核分类网络识别方法，包括以下步骤：获取待测人员肺部计算机断层成像CT图像，将肺实质图像进行归一化处理并缩放；建立并训练可解释性肺结核分类网络，可解释性肺结核分类网络以残差网络为基础网络并加入Dense思想和改进后的注意力机制而建立；将归一化处理并缩放到512x512大小的肺实质图像送入到训练好的可解释性肺结核分类网络，得到并在上位机中输出待测人员肺结核的分类结果和相应的类激活热力图。本发明能根据对待测人员CT图像实现获得待测人员肺结核的分类结果和输出相应的类激活热力图。
-
公开(公告)号：CN114610658B
公开(公告)日：2024-11-12
申请号：CN202210411830.8
申请日：2022-04-19
Applicant: 浙江大学
Abstract: 本发明公开一种针对ARM架构的基于安全属性的访问控制形式化验证方法，该方法对系统中的实体进行抽象，为其赋予安全属性，以实现灵活、细粒度的系统资源管理，增强了ARM架构的资源安全保护。首先，定义系统资源的原子安全属性，并基于这些原子安全属性，为系统中的实体指定安全属性；其次，定义访问控制策略，访问控制策略为可信执行环境和非可信执行环境中产生的资源访问请求做出是否允许访问的判断，它以主体属性、客体属性和访问属性配置为输入等，本发明可以实现对特权模式与用户模式的内存读写权限的细粒度描述，增强ARM架构的内存隔离保护。实验证明了本方案设计的访问控制机制的有效性及其较低的性能开销。
-
-
-
Search Results
4
records
(took 0.013 seconds)
