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

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

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

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

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

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

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

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

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

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

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

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

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

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

受限环境下的软件版权保护保密体管理模型

在硬件资源受限的环境下,设计了一种应用于软件版权保护的多保密体管理模型。该模型结合瘦虚拟机技术和功能分层策略,实现了对于多保密体的下载、更新和删除机制。对模型的安全性进行了分析,结果表明它具有安全性高、支持多方参与的软件开发模式、平台移植性好等优点。     

S3FC9DC单片机代码优化技术研究

本文以S3FC9DC硬件平台为例,阐述了嵌入式系统程序开发中代码优化的重要意义以及代码优化的策略和方法。     

用户自定义特征建模系统的研究

本文提出了一种用户自定义特征的建模方法,提高了设计效率,体现了设计构件重用的思想,并在华中科技大学CAD中心自主开发的三维CAD系统——Intesolid中实现了该建模方法。