温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
一种基于虚拟机管理器的可信执行环境设计方法及系统,包括:基于特权软件的地址空间和内核功能进行设计,得到与外界隔离的可信执行环境;基于可信启动链进行机器上电到运行操作系统过程中加载软件完整性的验证;本发明申请基于形式化验证的软件实现一个不依赖...该专利属于国网信息通信产业集团有限公司所有,仅供学习研究参考,未经过国网信息通信产业集团有限公司授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
一种基于虚拟机管理器的可信执行环境设计方法及系统,包括:基于特权软件的地址空间和内核功能进行设计,得到与外界隔离的可信执行环境;基于可信启动链进行机器上电到运行操作系统过程中加载软件完整性的验证;本发明申请基于形式化验证的软件实现一个不依赖...