论文部分内容阅读
计算平台安全是移动办公领域倍受关注的首要问题。企业往往提供SOA,Web Services等在线服务平台来满足员工的移动办公需求,在这种移动办公模式中,平台环境的安全可信是前提条件。另外,由于各计算平台配置环境的多样性和独立性,极可能出现所需应用软件的缺失,导致移动办公无法开展。而一个配置完善且安全可信的平台环境是移动办公顺利开展的必要前提。基于以上考虑,提出了基于可信计算理论,虚拟机技术和安全虚拟执行环境(SVEE)的可信移动计算环境(TPCE)。TPCE由可信硬件、虚拟执行环境和可信应用组成。TPCE保证了用户操作和数据资源的安全性,实现了应用程序及个人设置的移动性,防止了非可信宿主环境对平台的攻击,同时,其执行过程不会在宿主PC上留下任何痕迹。提出了TPCE的体系结构、分层模型和信任模型,并对相应的关键技术进行了详尽的分析和阐述。硬件级的安全策略能从根本上保证计算环境的安全可信。为了增强TPCE体系结构的安全性和可信性,针对小型移动智能设备的特点,采用智能卡技术构建了可信移动安全基(TPSB)。以TPSB为基础,借鉴可信计算理论和信息流的无干扰模型,建立了TPCE的信任模型,并深入分析了此信任模型中的关键部件、密钥管理以及信任的度量和传递机制。重点研究了基于硬件虚拟化的隔离模型、面向应用虚拟化的安全执行环境和零启动状态下文件管理的安全特性及机制,提出了可信虚拟机控制器(TVMM)、基于BLP的访问控制模型和安全执行环境的理论模型,并结合进程动态可信隔离模型,提出动态可信防护系统来实现TPCE及其应用程序的动态可信性和安全性。移动存储设备的安全问题一直是信息安全领域关注的焦点。在TPCE零启动状态下,为了实现保密文件的安全管理,结合TNC、GAP等相关理论,提出了全新的基于数据摆渡的安全数据交换模型,并针对智能卡PIN码的输入以及认证的安全问题,提出了基于图片干扰的PIN认证方法,有效防止了恶意程序对PIN码的攻击。同时,为了解决不同可信移动计算设备(TPCD)间存在的兼容性问题,设计出一种在标准数据接口实现智能卡控制指令传输的方法和协议,使TPCD在通用的USB2.0接口上进行免驱识别及运行。最后,基于以上理论和方法,初步实现了TPCE原型系统。