[发明专利]一种基于CC标准的可信执行环境运行时安全验证方法在审
申请号: | 202310164718.3 | 申请日: | 2023-02-26 |
公开(公告)号: | CN116204886A | 公开(公告)日: | 2023-06-02 |
发明(设计)人: | 常瑞;潘少平;张子君;苗新亮 | 申请(专利权)人: | 浙江大学 |
主分类号: | G06F21/57 | 分类号: | G06F21/57;G06F21/45;G06F11/34;H04L9/40 |
代理公司: | 杭州中成专利事务所有限公司 33212 | 代理人: | 李亦慈;唐银益 |
地址: | 310058 浙江*** | 国省代码: | 浙江;33 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开一种基于CC标准的可信执行环境运行时安全验证方法,该方法分析可信执行环境的运行时环境的安全需求,定义运行时资源的安全属性和安全功能,定义保护运行时资源的运行时访问控制方案,进一步形式化构建运行时访问控制模型,利用定理证明对模型进行验证和安全性分析。通过交互式定理证明工具进行访问控制模型的功能正确性和安全性证明,保证带有强制性安全检查的运行时访问控制模型的可靠性。该方法为可信执行环境的运行时环境安全防护方面的研究提供理论和技术上的支持。 | ||
搜索关键词: | 一种 基于 cc 标准 可信 执行 环境 运行 安全 验证 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于浙江大学,未经浙江大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202310164718.3/,转载请声明来源钻瓜专利网。