地面数字电视终端现状及智能电视安全技术发展

根据国家发改委的部署，深圳数字电视国家工程实验室的定位主要是终端技术研究和终端技术创新。本次主要介绍地面数字电视终端目前发展的一些状况以及数字电视安全技术发展，主要有四个方面的内容：第一、终端发展的概况；第二、数字电视对安全技术的需求；第三、数字电视当前所使用的一些安全技术；第四、可信计算技术与智能电视的关系。

基于智能电视机顶盒的下一代数字家庭网关设计

本文介绍了数字家庭网关的基本功能以及网关的软硬件设计原则,通过将智能电视机顶盒的硬件架构和软件层次进行规划设计,把家庭网关的功能扩展到机顶盒设备中,以一种简单、经济的方式实现数字家庭网关,有利于推动数字电视和数字家庭产业的融合发展。

基于Android的智能电视开机速度优化方案

嵌入式系统的开机速度与用户体验密切相关,特别是作为家庭应用的智能电视终端,快速启动显得尤为重要。本文通过分析影响Android开机速度的原因以及国内外开机速度优化工作的现状,针对目前智能电视主流硬件平台,选取对开机速度影响较大的优化点,提出一种基于AML8726-M3平台智能电视终端开机速度优化的解决方案,试验结果表明,优化后该平台系统整体启动时间提高约18%。

LWE上的全同态加密方案研究

文章介绍了全同态加密的研究历史和现状,分析了构建全同态加密方案的思想与方法,并且介绍和整理了全同态加密的一些主要技术。文章还综述了基于LWE的全同态加密方案,先是用重线性化技术构造一个部分同态加密方案,再利用维数模约减技术降低密文的尺寸和解密电路复杂度,结合bootstrappable技术获得全同态加密。文章研究的基于LWE的全同态加密方案主要从噪声、参数性能、安全性这三个方面进行具体分析。文章最后对该方案与整数上的全同态加密方案从性能、安全性两个方面进行比较,同时指出全同态加密方案的构建本质与亟待解决的关键问题,为进一步研究全同态加密提供参考性意见。

一种基于智能终端的远程证明方案

基于二进制的远程证明方案虽然简单且容易实现,但存在泄露用户隐私、高安全业务接入复杂等缺点;基于属性的远程证明方案尽管能解决用户和系统的隐私泄露问题,但实现复杂,在智能终端开放环境下,难以解决应用环境证明的准确性.针对远程证明技术在证明终端可信性时出现如隐私泄露、实现复杂等问题,为了方便更多业务在智能终端上的接入,提出了一种智能终端上的基于对称加密机制的远程证明方案.另外,为了能够让操作系统可使用并行机制对应用环境进行快速的度量,设计了一个与次序无关的新平台配置寄存器(Platform Configuration Registers,PCRs)度量算法.最后对方案进行了分析,分析结果表明,该方案能够有效保护平台和应用程序的隐私,方便远程证明技术在终端的接入使用,从而有效保障了平台和应用业务的安全.

基于PACDP的全同态加密方案的一种攻击方法

针对汤等人设计的整数上具有更小公钥尺寸的全同态加密方案,研究安全性基于整数上部分近似公因子问题(PACDP)的全同态加密方案的攻击方法。通过对公钥噪声区间进行适当的分割,结合快速多项式多点求值,再利用GCD算法得到私钥,从而成功攻击安全性基于PACDP的全同态加密方案。

基于智能语音的人机交互方案设计与实现

智能电视作为家庭娱乐的中心,正逐步成为电脑、手机之外的第三种信息访问沟通平台,其智能化的定义决定了智能电视的复杂性和多样性,智能化定义中最为关键的环节就是人机交互。从某种意义上讲,智能电视人机交互方式决定着智能电视方案的成败与否。本文提出了一种基于Android智能电视的语音交互系统,该系统使得用户可以通过语音信息的输入来对智能电视进行控制操作,极大地降低了用户操作的复杂性,丰富了智能电视的人机交互方式。

一种安全风险可控的弹性移动云计算通用框架

弹性移动云计算(Elastic Mobile Cloud Computing,EMCC)中,移动设备按照当前需求将部分计算任务迁移到云端执行,无缝透明地利用云资源增强自身功能。首先,在总结现有EMCC方案的基础上,抽象出通用的EMCC框架;指出EMCC程序中敏感模块的迁移会给EMCC带来隐私泄露、信息流劫持等安全风险;然后设计了融合风险管理的弹性移动云计算通用框架,该框架将安全风险看作EMCC的一种成本,保证EMCC的使用对用户来说是有利的;最后,指出风险管理的难点在于风险量化以及敏感模块标注。对此,设计了风险量化算法,实现了Android程序敏感模块自动标注工具,并通过实验证明了自动标注的准确性。

一种应用于空中鼠标的数据校正方法

对于只采用了基于陀螺仪的三轴感应技术的传统空中鼠标方案中,在使用的过程中由于手持方式的不同,会造成严重的坐标偏移现象,影响使用者的体验感。本文介绍了一种基于陀螺仪和加速度计的六轴感应空中鼠标方案,并加入了卡尔曼滤波算法实现数据的有效融合。经验证,该方案可以较大幅度的降低坐标偏移现象,有效抑制各种随机噪声造成的数据误差,提高数据的准确度及用户的体验感。

应用于DTMB系统的信道估计及均衡改进算法

在DTMB系统中,采用传统信道估计方法得到信道估计的冲激响应值,无法完全去掉噪声干扰,这就使得信道均衡的效果变差,从而影响接收机的接收性能。介绍了一种基于冲激响应滤波的信道估计以及均衡改进算法,可以有效地提高信道估计和均衡的性能。该算法已经在FPGA测试平台上进行了验证,其接收性能已超过了现有中国地面数字电视接收标准。另外,由于算法具有明显的模块性特点,使得很多资源可以复用,可在消耗极少资源的情况下实现功能,降低了产品的成本,使之更具有竞争力。

基于TPM的设备认证方案

可信平台模块是可信计算的核心,为建立可信终端提供了可信根。身份认证密钥是一个代表可信终端身份的签名密钥。当前,大多数认证协议在验证对方身份时,要求对方对指定数据进行签名,如SSL协议。由于AIK只能对TPM内部产生的信息做签名,无法满足认证协议的要求,本文提出一个基于TPM的设备认证方案,通过引入新的密钥—设备用户密钥,以及基于SKAE extension的设备用户证书,该方案满足了认证协议的要求,能够向挑战者提供可信终端的身份证明。

基于Android平台上应用程序的保护方法研究

Android平台上所有的应用程序仅在安装时进行完整性验证,在后续的启动运行过程中并不进行完整性验证,只是比对相应的文件保存路径及时间戳信息。针对这一安全验证机制,攻击者可以将已经安装在Android上的应用程序进行重新编译注入恶意代码,绕过签名验证机制实施攻击。本文针对这一安全隐患设计了应用程序在后续的启动运行过程中的校验保护,防止应用程序的重打包。