一种基于可信计算的NFC认证模型

针对NFC设备进行移动支付时产生的用户隐私保护问题,本文提出了一个NFC设备认证模型,采用直接匿名认证方案实现了移动平台和服务提供商的双向认证。分析表明,颁布者对服务提供商的资格认证以及移动平台对服务提供商证书的认证能够防止恶意服务提供商的攻击,并且该方案可在不泄漏移动平台配置信息和平台身份信息的前提下,实现移动平台的可信认证。更重要的是,本协议可在用户身份匿名的情形下借助颁布者实现对用户个人账户的鉴别。     

基于启发式行为监测的手机病毒防治研究

快速发展的移动通信技术给人们带来新的应用和服务的同时,也吸引了手机病毒的攻击。本文总结了手机病毒的传播途径和共有特性,比较现有的防毒技术,结合手机的特点,提出一种基于启发式行为监测的手机病毒防治技术,采用隐马尔科夫模型启发式分析程序的行为,以阻止病毒的恶意行为,保护手机安全。     

基于鉴权矢量相似度分析的GSM鉴权改进算法

现有GSM无线通信系统中应用最为广泛的是COMP128-1算法,其安全漏洞最早是由伯克利大学的一个研究小组公布的。本文主要分析了现有的针对COMP128-1算法漏洞的一些攻击及防护手段,提出了基于相邻鉴权矢量的相似度分析的新的安全防护手段,以有效识别对COMP128-1漏洞的攻击鉴权行为,从而有效抵抗这些攻击手段,保护KI不被破解。     

基于用户授权的安全移动存储模型研究

目前针对移动存储设备的信息安全防护需求非常迫切,防止移动设备中的隐秘信息泄露问题尤其突出。本文采用WindowsNT内核操作系统的驱动框架,基于文件系统过滤驱动技术对移动存储设备中的数据进行透明加/解密,同时加入用户参与授权应用程序可信性的机制来进一步提高移动存储设备的安全性。     

一种改进的轻量级嵌入式安全文件系统模型

有效保护各种移动设备中的数据安全是当前嵌入式系统的关键技术之一。针对各种移动设备,特别是资源受限设备,在通用文件系统的基础上,采用适合嵌入式系统的安全访问控制策略,以及对存储器的设备驱动层代码优化,研究并实现了一个轻量级嵌入式安全文件系统。实际应用表明：该模型能够满足嵌入式安全文件系统的性能要求。     

基于混合模式的Java卡字节码优化器

Java卡是一种基于Java语言的智能卡。因为智能卡的空间和处理器速度的约束,一个应用程序在Java卡上运行时面临的最大问题是存储空间的不足和对程序执行时间的严格限制。因此,对下载到卡中的字节码进行优化是十分必要的。本文提出了一种综合使用扩展指令集和分段压缩算法的Java卡字节码优化器的设计方案,通过对字节码文件的优化,可得到占用空间较少且没有降低执行速率的字节码文件。     

CAD/CAM 中 Undo/Redo 技术的研究

介绍了一种基于实体模型的ＣＡＤ／ＣＡＭ系统的Ｕｎｄｏ／Ｒｅｄｏ操作实现技术．它支持多层次嵌套的ＣＡＤ／ＣＡＭ建模环境．因而当用户在ＣＡＤ／ＣＡＭ系统环境中建模时,可以方便地对模型进行Ｕｎｄｏ／Ｒｅｄｏ编辑操作．     

并行环境下广义装配设计的集成框架

提出了以装配建模和变量设计为核心,以装配规划与仿真,装配分析和公差分析与综合等为支撑的广义装配设计的集成框架,该框架能在并行工程的环境下对产品设计进行信息集成和设计过程集成,形成自上而下的,各支撑系统模块间相互依存,相互评价的设计循环,从而提高产品的一次设计成功率。     

面向对象数据库管理系统的对象管理系统的研究

数据库是实现CAD/CAM系统集成的主要方法和工具。当前,面向对象数据库管理系统已成为数据库管理系统研究的主要方向,而对象管理是实现面向对象数据库管理系统的关键技术。本文结合华中理工大学CAD中心开发的面向对象数据库管理系统GHEODB的对象管理系统GHOMS,研究了对象管理系统的结构组成并给出了相关算法和加速机制     

并行工程下产品协调模型的研究

建立和维护产品全生命周期中各种应用活动之间动态的信息关联,是实现产品数据集成、保证各应用领域协调活动的关键,为此,提出了基于产品设计过程的产品协调模型,该模型将原用于基于历史的几个何特征建模的特征编码作为建立和维护产品几何信息及其它应用信息间关联的纽带,为了屏蔽特征编码机制的私有属性,建立了比特征编码机制更高层的协议－数据协调协议,该协议为在产品几何信息与非几何应用信息之间建立和维护动态的、协调一