移动智能终端平台基于行为的远程证明方案①

詹世才, 秦 宇, 初晓博



移动智能终端平台基于行为的远程证明方案①

詹世才, 秦 宇, 初晓博

(中国科学院软件研究所可信计算与信息保障实验室, 北京 100190)

移动智能终端平台集通信、社交、网上购物、娱乐等众多功能于一身, 恶意程序对相关服务的破坏可能威胁到用户财产和个人隐私的安全. 远程证明是可信计算的核心功能之一, 它使得移动智能终端能向远程服务提供方证明平台运行状态的安全性. 传统的远程证明方案主要应用于计算机平台, 无法很好的适应软件频繁更新、多方服务共同运行的移动智能终端环境. 针对移动智能终端环境的特点, 本文设计了一种基于行为的远程证明方案, 通过软件开发人员定义软件行为列表, 终端系统强制实施行为限制, 服务提供方自定义策略对终端环境进行验证的方式, 满足了服务提供方保障其服务安全运行的需求. 方案原型的实现和评估表明本文方案兼具较强的安全能力和较高的性能.

移动安全; 可信计算; 远程证明; 行为

1　引言

近年来,移动智能终端的安全性得到了充分的关注. 相对于传统的计算机平台, 移动智能终端通常集通信、社交、网上购物、娱乐等众多功能于一身, 同时作为多个不同服务的载体. 这一方面导致移动智能终端平台通常会安装数量众多的分属于不同服务提供方的软件, 导致其运行环境复杂, 软件运行环境容易被破坏; 另一方面对于社交和购物等类……