【摘 要】
：
移动智能终端平台集通信、社交、网上购物、娱乐等众多功能于一身,恶意程序对相关服务的破坏可能威胁到用户财产和个人隐私的安全.远程证明是可信计算的核心功能之一,它使得
【机 构】
：
中国科学院软件研究所可信计算与信息保障实验室
论文部分内容阅读
移动智能终端平台集通信、社交、网上购物、娱乐等众多功能于一身,恶意程序对相关服务的破坏可能威胁到用户财产和个人隐私的安全.远程证明是可信计算的核心功能之一,它使得移动智能终端能向远程服务提供方证明平台运行状态的安全性.传统的远程证明方案主要应用于计算机平台,无法很好的适应软件频繁更新、多方服务共同运行的移动智能终端环境.针对移动智能终端环境的特点,本文设计了一种基于行为的远程证明方案,通过软件开发人员定义软件行为列表,终端系统强制实施行为限制,服务提供方自定义策略对终端环境进行验证的方式,满足了服务提供方
其他文献
针对嵌入式系统在4G的环境下把视频流推送到云端、从云端拉取、尤其是进行远程更新或调试的过程中存在大量的干扰现象,从而导致嵌入式系统不能正常工作的问题,提出了一种基于
边界网关协议在安全方面存在严重的缺陷,容易导致路由劫持这一互联网安全威胁.为此,国际互联网工程任务组提出了资源公钥基础设施（Resource Public Key Infrastructure,RPKI）以
三维运行平台主要为实现一个面向中小型数据中心的简单易用的管理系统来协助数据中心管理人员实现对数据中心的集中管理.用户在通过相关的授权认证后进入平台系统,完成对平台
协同过滤推荐算法是目前构建推荐系统最为成功的算法之一,它利用已知的一组用户对物品喜好数据来对推测用户对其他物品的喜好,其中,能够直接刻画用户与项目潜在特征的矩阵分
在膛内测速中,恢复经过特殊信号处理得到的速度缺失段时,会受到烟雾、火光和冲击波等因素的干扰,此干扰会导致实际获取的运动目标在出膛口时刻的多普勒信号能量特别微弱,速度
针对同一场景的红外与微光（可见光）图像融合问题,提出了一种利用邻域特性区域化处理的非下采样Contourlet变换（NSCT）融合方法.首先,对红外和微光源图像进行多尺度、多方向分解;然
渐进网格可以满足生成多分辨率模型的需求.在现有渐进网格生成方法中,一个顶点的简化往往关联四个以上的相邻顶点.并且,现有方法多采用网格的点面列表结构表示.本文采用√3细
针对一种由三轴定位器构成的飞机翼身调姿对接系统,阐述其调姿对接流程,通过机身、机翼轨迹规划及其相应的定位器运动学逆解,实现其调姿算法.采用面向对象技术,在Visual Stud
在现有各种调光方法的研究基础上,提出一种基于图像策略的先进调光算法—车牌直方图调光算法的车牌抓拍与识别方法.首先,利用车牌的直方图分布来判断曝光信息,根据曝光信息,
为了快速有效地检测图像中的显著性区域,利用颜色通道差异信息和空间信息,提出了一种基于颜色通道比较的显著性检测算法.该算法将显著性检测任务看作对图像前景区域和背景区