基于TEE的主动可信TPM/TCM设计与实现

可信技术正在从被动可信度量向着下一代的主动可信监控方向发展，要求TPM/TCM模块有能力主动度量和干预主机系统，传统的TPM/TCM从架构和运行机制等方面都无法满足这种能力.TEE（trusted executionenvironment）技术提供了可信执行环境和主动访控能力，为构建下一代TPM/TCM提供了基本平台，但还存在系统结构、存储以及通信等多方面挑战.提出基于ARM平台TrustZone机制的TZTCM方案，通过分核异步系统架构解决TZTCM独立可信运行和主动可信安全监控问题，基于PUF（physical unclonable functions）安全存储机制和基于UUID（universally unique identifier）的TEE安全通信机制，解决了TEE环境下可信平台模块的存储安全和通信安全问题，为设计实现主动可信TPM/TCM给出了理论和实践参考.通过实验验证了所提关键机制的有效性，实验结果表明，TZTCM在密码计算能力上较常见TPM也有很大提升.TZTCM只需要在系统中增加或修改相应的软/固件，除了主动可信监控能力，还具有低成本、高性能、低功耗、易升级等特点，相对传统TPM/TCM具有非常明显的优势.     

基于MTPM和DPM的多无人机协同广域目标搜索滚动时域决策

传统的协同搜索决策方法在目标引导和机间协同方面存在不足. 研究建立了基于分布概率预测的目标概率图（Target probability map,TPM）初始化方法和基于贝叶斯准则的目标概率图动态更新方法,形成了修正目标概率图（Modified TPM,MTPM）及其运算机理.考虑对任务子区域进行可控回访,定义了数字信息素图（Digital pheromone map,DPM）,建立了数字信息素图使用方法及更新机理.设计了基于MTPM和DPM的寻优指标,建立了基于滚动时域控制的协同搜索决策方法（MTPM-DPM-RHC method,MDR）.仿真表明: 1） MTPM能有效降低对目标的虚警率和漏检率;2） DPM能有效实现对任务区域可控回访;3） MDR方法的遍历能力、重访能力和目标搜索效率均优于已有方法.     

改进的可信网络连接机制

针对传统可信网络中存在会话密钥协商过程易受中间人攻击的不足,提出改进的可信网络连接机制。该机制基于椭圆曲线Diffie-Hellman（ ECDH）算法实现会话密钥的安全协商,用户与节点使用私钥和随机数完成会话密钥的计算。分析表明改进的密钥协商协议具有抗中间人攻击、高效性等特点,会话密钥具有前向安全性及较强的新鲜性和保密性。     

设备管理理论体系与发展趋势

介绍了设备管理的涵义和意义，阐述了设备管理的发展历程和趋势，在分析传统设备管理存在不足的基础上，提出了设备管理理论体系架构，从技术和经济两方面对设备一生实行动态管理和辅助决策。     

TPM设备管理模式导入实践

介绍TPM管理模式的内容,具体分析导入过程及取得成效,指出TPM管理模式导入有利于企业综合竞争力的提升。     

卷烟阴燃完全性对常规烟气指标的影响

采用自制设备测定中国50种不同牌号卷烟实际可燃率、自由燃烧速度,并结合气相色谱分析常规烟气成分。结果表明:①实际可燃率与自由燃烧速度呈极显著负相关,即卷烟阴燃越完全,自由燃烧速度越慢。②实际可燃率与常规烟气中的总粒相物(total particulate matter,TPM)、烟碱、焦油、抽吸口数指标均呈极显著正相关,其中与TPM相关性最强;自由燃烧速度与TPM、烟碱、焦油、抽吸口数指标均呈极显著负相关,其中与TPM、焦油相关性较强。综合分析卷烟阴燃越完全,自由燃烧速度越慢,则抽吸口数越多,焦油含量越高。     

Protecting mobile agents＇ data using trusted computing technology

Even with attractive computational advantages, mobile agent technology has not developed its full potential due to various security issues. This paper proposes a method called Private Key Consignment to solve the problem of how to protect the data carried by mobile agents. It exploits new functionalities and mechanism provided by the trusted computing technology, and adopts both public key and symmetric key cryptographic means for data and key protection. The most notable feature of this method is that it protects the private key of the agent by consigning it to a tamper proof hardware, thus, enabling convenient and secure use of the private key. It provides a new scheme of mobile agents＇ data protection.     

时域推进算法中TPM模型的奇异性研究

三角贴片模型(TPM)常用于研究电磁散射的时域推进算法中。但在计算矢量位函数和标量位函数的微分过程中,TPM模型将产生奇异点。本文详细分析了TPM模型奇异性问题的产生,并提出了处理奇异点的方法,给出的算例证明了该处理方法的有效性。     

TPM中身份证明密钥的管理

TPM是可信计算中的一个核心模块,在TPM中管理着很多的密钥,并通过这些密钥来完成安全存储、完整性存储和报告等功能。其中身份证明密钥(AIK)是其中较为重要的一个,文章重点介绍了TPM中对于AIK的管理过程,并简要分析了该过程中的优点,以及可能存在的安全隐患,并提出了解决方案。     

可信支撑框架设计及应用模式研究

文章借鉴可信计算思想,从可信支撑角度提出了一个基于通用计算平台的可信支撑框架(TSF)及原型的设计,并就该框架在通用计算平台上如何应用进行了研究,提出了一种实用的应用模式。该框架对TCG定义的TPM在概念和功能上进行了扩展,设计了独立于通用平台的可信支撑模块(TSM)。对比TPM,TSM更具实用性,且本质上并不降低其安全强度。文章提出的可信支撑的设计思想是从可信支撑角度对可信计算体系结构研究的一种尝试,具有一定的指导意义。