龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：浙江大学
摘要：本发明公开一种针对ARM架构的基于安全属性的访问控制形式化验证方法，该方法对系统中的实体进行抽象，为其赋予安全属性，以实现灵活、细粒度的系统资源管理，增强了ARM架构的资源安全保护。首先，定义系统资源的原子安全属性，并基于这些原子安全属性，为系统中的实体指定安全属性；其次，定义访问控制策略，访问控制策略为可信执行环境和非可信执行环境中产生的资源访问请求做出是否允许访问的判断，它以主体属性、客体属性和访问属性配置为输入等，本发明可以实现对特权模式与用户模式的内存读写权限的细粒度描述，增强ARM架构的内存隔离保护。实验证明了本方案设计的访问控制机制的有效性及其较低的性能开销。
主权项：1.一种针对ARM架构的基于安全属性的访问控制形式化验证方法，其特征在于，该方法包括如下步骤：步骤一：定义系统资源的原子安全属性，并基于这些原子安全属性，为系统中的实体指定安全属性，包括主体属性、客体属性、用户属性和资源属性；步骤二：定义访问控制策略，访问控制策略以主体属性、客体属性和访问属性配置为输入，为可信执行环境和非可信执行环境中产生的资源访问请求做出是否允许访问的判断；步骤三：对安全属性和访问控制策略进行形式化描述与验证，以确保访问控制机制满足机密性与完整性要求；步骤四：对ARM架构的内存访问控制机制进行修改，以解决ARM内存访问控制机制存在的缺陷；所述步骤四中的ARM内存访问控制机制存在的缺陷是指其不足以描述特权模式与用户模式对某一内存空间的读写权限的16种组合,不能独立控制两者各自的读取、写入权限；所述步骤四中对ARM架构的内存访问机制所进行的修改，是指保持页表描述符的执行权限控制位不变，选取页表描述符中预留位中的4个位来控制特权模式和用户模式的读取和写入权限，对特权模式与用户模式的内存读写权限进行细粒度描述。
全文数据：
权利要求：
百度查询： 浙江大学 一种针对ARM架构的基于安全属性的访问控制形式化验证方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号