- 专利标题： 一种针对ARM架构的基于安全属性的访问控制形式化验证方法
-
申请号： CN202210411830.8申请日： 2022-04-19
-
公开(公告)号： CN114610658B公开(公告)日： 2024-11-12
- 发明人: 常瑞 , 余晨洋 , 苗新亮 , 曾凡浪 , 张子君 , 任奎
- 申请人： 浙江大学
- 申请人地址： 浙江省杭州市西湖区余杭塘路866号
- 专利权人： 浙江大学
- 当前专利权人： 浙江大学
- 当前专利权人地址： 浙江省杭州市西湖区余杭塘路866号
- 代理机构： 杭州中成专利事务所有限公司 33212专利代理师李亦慈唐银益
- 主分类号： G06F12/14
- IPC分类号： G06F12/14 ; G06F21/60 ; G06F21/62 ; G06F21/57 ; G06F21/53
公开/授权文献
- CN114610658A 一种针对ARM架构的基于安全属性的访问控制形式化验证方法 公开/授权日：2022-06-10
