您的位置: 专家智库 > >

文献类型

  • 22篇中文专利

领域

  • 8篇自动化与计算...

主题

  • 4篇应用程序
  • 4篇嵌入式
  • 4篇终端
  • 4篇敏感数据
  • 4篇控制流
  • 4篇插桩
  • 2篇动态安全
  • 2篇信任
  • 2篇移动终端
  • 2篇隐私
  • 2篇应用程序开发
  • 2篇用户
  • 2篇用户隐私
  • 2篇源程序
  • 2篇源码
  • 2篇执行环境
  • 2篇智能终端
  • 2篇中间件
  • 2篇身份
  • 2篇输入法

机构

  • 22篇中国科学院

作者

  • 22篇王雅哲
  • 22篇田琛
  • 14篇王瑜
  • 8篇徐震
  • 6篇周启惠
  • 6篇霍冬冬
  • 6篇李宇
  • 2篇周启慧
  • 2篇蔡智强

年份

  • 2篇2023
  • 3篇2022
  • 4篇2021
  • 1篇2020
  • 3篇2019
  • 1篇2018
  • 5篇2017
  • 1篇2016
  • 2篇2015
22 条 记 录,以下是 1-10
排序方式:
一种针对嵌入式裸机系统的控制流验证方法与系统
本发明涉及一种针对嵌入式裸机系统的控制流验证方法与系统,该方法包括:在预处理阶段,利用编译器和MPU对证明端嵌入式裸机程序进行跳板代码的插桩,以“访问相同硬件”的原则进行函数分组,形成若干个“认证隔间”;验证端用不同的输...
霍冬冬田琛李宇王瑜周启惠王雅哲
文献传递
一种基于概率预测的嵌入式可变粒度控制流验证方法及系统
本发明涉及一种基于概率预测的嵌入式可变粒度控制流验证方法及系统,分为验证端和证明端。可信路径特征集构建,对目标源程序中的每个函数进行漏洞概率预测,然后对函数进行粗细粒度的插桩预处理,再在验证端中用不同的输入获取目标程序所...
霍冬冬胡建行李宇田琛王瑜王雅哲
文献传递
一种基于区块链的散列中子源存储方法及系统
本发明涉及一种基于区块链的散列中子源存储方法及系统,其方法包括:步骤S1:基于在线采集和离线分析的方式实现中子源实验室数据采集,生成元数据,通过数据采集代理将元数据及其特征指纹上传至区块链;步骤S2:在区块链创建新的交易...
田琛张艳秋邓尧议阮倩昀王瑜王雅哲
一种基于可信执行环境高安全应用系统的实现方法
本发明涉及一种基于可信执行环境高安全应用系统的实现方法,首先,使用敏感业务库实现高敏感业务逻辑,并将敏感业务库完成可信第三方CA的签名;其次,通过垫片共享库实现与可信环境中敏感业务库的数据交互;最后,通过应用系统打包技术...
王雅哲王瑜田琛
文献传递
一种针对嵌入式裸机系统的控制流验证方法与系统
本发明涉及一种针对嵌入式裸机系统的控制流验证方法与系统,该方法包括:在预处理阶段,利用编译器和MPU对证明端嵌入式裸机程序进行跳板代码的插桩,以“访问相同硬件”的原则进行函数分组,形成若干个“认证隔间”;验证端用不同的输...
霍冬冬田琛李宇王瑜周启惠王雅哲
一种基于处理器安全扩展的智能终端隔离系统及方法
一种基于处理器安全扩展的智能终端隔离系统及方法,包括安全启动模块、事务委托模块、通信代理模块、安全扩展抽象层、安全操作系统、安全中间件、可信应用模块、普通应用模块。安全启动模块对智能终端硬件环境进行简单初始化,并认证和引...
王雅哲徐震田琛王瑜
文献传递
一种基于TrustZone技术的安全存储服务系统及方法
一种基于TrustZone技术的安全存储服务系统及方法,包括数据请求模块、普通应用程序、安全存储服务、可信应用程序;数据请求模块负责普通应用程序与可信应用程序间数据安全存储服务请求的封装与调用,为普通应用程序提供统一的数...
田琛王雅哲徐震蔡智强
一种场景敏感的自动化放置钩子函数的系统及方法
本发明涉及一种场景敏感的自动化放置钩子函数的系统及方法,主要特征包括:用于描述场景敏感的用户隐私偏好表;用于放置钩子函数的潜在备选函数集合;针对安卓源码的敏感抽象操作集合模块;场景敏感钩子函数自动化映射模块。本发明在用户...
田琛霍冬冬李宇王瑜周启慧王雅哲
一种基于双隔离的安全显示系统及方法
本发明涉及一种基于双隔离的安全显示系统及方法,主要包括:位于可信执行环境中的安全监控模块和中断配置模块;位于隔离计算环境中的图形显示库和触摸屏驱动;位于普通计算环境中的安全代理模块和应用程序;本发明在TrustZone技...
田琛周安源王雅哲
文献传递
一种基于处理器安全扩展的智能终端隔离系统及方法
一种基于处理器安全扩展的智能终端隔离系统及方法,包括安全启动模块、事务委托模块、通信代理模块、安全扩展抽象层、安全操作系统、安全中间件、可信应用模块、普通应用模块。安全启动模块对智能终端硬件环境进行简单初始化,并认证和引...
王雅哲徐震田琛王瑜
文献传递
共3页<123>
聚类工具0