温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了基于可信执行环境的内部接口用无干扰性系统，涉及接口管理领域，其技术方案要点包括：对原有TEE系统的内部调用接口进行了重新设计，使其满足快速形式化验证框架的要求；其次，确定代码抽象和要验证的层级，对这部分接口进行状态机建模以及TE...
该专利属于宁波谦川科技有限公司所有，仅供学习研究参考，未经过宁波谦川科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。