基于SIM卡的双因素认证方案

该文通过对GSM系统安全性的分析,结合双因素认证技术,提出了一种基于GSM手机SIM卡的双因素认证协议,该认证协议使用给SIM卡内植入的种子数与GSM系统时间值进行密码运算,获得消息认证码,使认证服务器可以根据此认证码对用户进行基于SIM卡和种子数的双因素身份认证。该协议的特点在于利用SIM卡和GSM系统的已有资源,通过给SIM植入种子数,使手机实现了双因素认证机制中的时间令牌的功能。最后,对该认证协议的安全性进行了详细的分析论述。     

柔性单桩变形机理分析及沉降和承载力计算

详细地讨论桩的受力和变形机理 ,然后在此基础上 ,利用土力学理论和位移协调条件推导出了柔性单桩承载力和沉降计算公式 ,最后给出了一个工程实例 ,以验证本文的计算公式。     

Windows2000 下IEEEl394设备驱动程序的开发

本文简单介绍了WDM驱动程序的概念，然后系统详细的介绍了开发Windows2000下IEEEl394设备驱动程序的具体做法及主要环节，并给出了一些程序片段。     

Linux系统下USB设备驱动程序的开发

开发Linux下的设备驱动程序是一项比较繁琐的工作，从具体的USB设备驱动的开发流程出发，描述了Linux系统下USB设备驱动程序的几个主要开发细节和注意点，以能够提供给大家一个开发Linux下USB设备驱动程序的向导，并在开发密码模块设备的驱动程序中得到了很好的应用。     

基于MCX314控制器的数控机床运动控制系统

分析了传统数控机床控制系统的缺陷，并针对MCX314运动控制器的特点，开发了一种高速度、高精度、高效率和高可靠性的数控机床运动控制系统。该系统已成功应用于某数控机床控制系统中，并且应用效果达到了设计目标。     

一种高效的基于角色的访问控制方法

本文提出基于人工神经网络的RBAC算法,该算法充分考虑到角色之间的继承关系,采用预先定制的角色样本作为输入向量,以相应的权限作为输出向量训练人工神经网络。在系统运行中通过训练好的人工神经网络直接计算出用户的访问权限,省去了大量的查表操作,能够有效提高访问控制的效率。     

基于串空间和状态转换的认证协议分析方法

串空间是一种新兴的安全协议形式化分析模型。串空间模型中的理论证明方法虽然严谨，但难度很大。本文基于串空间模型，首先定义系统状态，并以Needham-Schroeder-Lowe公钥认证协议为例说明系统状态转换的分析过程。通过对状态转换过程中现实的跟踪考察，得出了有意义的结论。结合串空间模型，验证了该认证协议的安全性。这种分析认证协议的新方法简洁和高效，并易于实现自动化。     

三角网格的统一单分辨率与多分辨率表示方法

通过三角形之间的拓扑相邻关系,将最高分辨率的三角网格划分为广义三角形带的集合,然后利用Hamiltonian三角剖分的性质对广义三角形带进行简化,从而构造三角网格的多分辨率表示.该方法统一了单分辨率网格和多分辨率网格的表示方法,当模型有c个不同分辨率的表示时,其编码效率与c的对数成正比.     

嵌入式Linux下基于CGI的文件上传下载的实现

随着嵌入式Linux的深入研究，在此平台上的应用也越来越广泛。针对在资源有限的嵌入式系统中如何有效地实现动态Web内容，文中提出了一种解决方案。讨论了在嵌入式Linux系统下，采用ACME的thttpd作Web服务器，用C语言进行CGI程序设计的原理和方法。应用此方法并以文件的上传和下载为例给出了具体实现，用嗍、方法实现了文件上传，用GET方法实现了文件下载。测试结果表明该方案的正确性和有效性，最后分析了在进一步应用中需要解决的问题。     

一种新的基于散列特征点的地形生成方法

基于少量散列分布的特征点,提出了一种椭圆山形插值算法,在地形区域准均匀网格划分后,对落在特征点影响范围之内的网格点进行插值处理,得到表征地形概貌的地形模板．使用分形技术对地形模板进行迭代处理,增加多层次地形细节,增进了地形的真实感．与以往方法相比,该方法具有两个特点：相对于基于真实地学数据的生成方法,输入数据量少,通过交互手段可以任意更改地形的局部特征;相对于基于构造和简单分形的生成方法,克服了其不能对山峰位置和形态进行控制的缺点．使用该方法用少量的数据就可以方便地控制地形的特征外貌,并生成比较逼真的地形．