可信计算平台测评理论与关键技术研究

可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.     

基于可信计算的车联网云安全通信模型

基于可信计算思想提出了一个车联网云平台用户间的安全通信模型.该模型借助可信第三方,在申请通信服务过程中为车联网云用户生成临时身份,即对车联网云用户身份进行匿名化处理,以实现对用户身份隐私的保护.在通信过程中,该模型采用双线性对签名的算法分别对用户的身份合法性和平台可信性进行认证,并有效地使用了随机数、密钥和时间戳,以密钥和散列函数确保了签名的不可伪造性,以时间戳确保了密钥的时效性,以随机数机制防止了重放攻击.分析结果表明:在车联网云平台中采用该通信模型可以使通信过程具备可信性、安全性和匿名性.     

低成本航空在中国

低成本航空模式是世界航空界十分流行的公司运营模式。论述了我国发展低成本航空的可行性及必要性,提出了我国实现低成本航空的主要途径。     

基于六西格玛的项目可行性评估研究及其应用

本文结合项目管理知识与六西格玛改进流程方法。使用基于六西格玛管理的项目评估表格对企业项目进行可行性评估，并利用该工具对某汽车企业案例进行了分析。结果表明，可行性评估有利于企业的项目实施决策。     

化学浴沉积法制备ZnS薄膜的研究

基于化学浴沉积法,采用硫酸锌、硫脲、水合肼和氨水混合溶液于适当温度下在玻璃衬底上沉积得到表面均匀的ZnS薄膜.对在不同沉积时间以及退火时间下得到的ZnS薄膜运用X射线衍射法观测其晶型结构,发现较长的沉积时间(5 h)和退火时间(3 h)制得的薄膜结晶度好,且检测出为闪锌矿晶型.并对其透光性能做了检测,发现pH值对透光度有显著影响.