一种针对ARM架构的基于安全属性的访问控制形式化验证方法
公开
摘要
本发明公开一种针对ARM架构的基于安全属性的访问控制形式化验证方法，该方法对系统中的实体进行抽象，为其赋予安全属性，以实现灵活、细粒度的系统资源管理，增强了ARM架构的资源安全保护。首先，定义系统资源的原子安全属性，并基于这些原子安全属性，为系统中的实体指定安全属性；其次，定义访问控制策略，访问控制策略为可信执行环境和非可信执行环境中产生的资源访问请求做出是否允许访问的判断，它以主体属性、客体属性和访问属性配置为输入等，本发明可以实现对特权模式与用户模式的内存读写权限的细粒度描述，增强ARM架构的内存隔离保护。实验证明了本方案设计的访问控制机制的有效性及其较低的性能开销。
基本信息
专利标题 ：
一种针对ARM架构的基于安全属性的访问控制形式化验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114610658A
申请号 ：
CN202210411830.8
公开（公告）日 ：
2022-06-10
申请日 ：
2022-04-19
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
常瑞余晨洋苗新亮曾凡浪张子君任奎
申请人 ：
浙江大学
申请人地址 ：
浙江省杭州市西湖区余杭塘路866号
代理机构 ：
杭州中成专利事务所有限公司
代理人 ：
李亦慈
优先权 ：
CN202210411830.8
主分类号 ：
G06F12/14
IPC分类号 ：
G06F12/14 G06F21/60 G06F21/62 G06F21/57 G06F21/53
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F12/00
安装在筛选装置之上的在存储器系统或体系结构内的存取、寻址或分配
G06F12/14
阻止存储器越权使用的保护
法律状态
2022-06-10 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
