网络安全中的堆栈溢出技术解析

网络安全日益为人们所重视,其关键就是缓冲溢出问题,几乎所有的操作系统都避免不了缓冲溢出漏洞的威胁。网络安全中的堆栈溢出技术是一种含量较高的计算机技术。本文用通俗易懂的语言和简单少量的代码对该技术进行了详细解析。     

Yahalom协议的串空间模型及分析

作为一种用来分析密码协议的最具代表性的定理证明技术，串行空间理论已被成功地用来分析许多典型的密码协议。其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤．首次利用串空间理论从机密性和鉴别两个方面对Gavin Lowe提出的Yahalom协议的改进版进行了分析．分析结果证明该协议是安全的．     

计算机数据安全策略的研究

计算机安全技术广泛应用于各行各业,网络安全问题越来越重要。本文讲述了计算机安全问题如黑客攻击、计算机病毒、计算机系统本身的安全漏洞等,以及计算机安全问题的解决策略:数据加密、数据集中存储、双硬盘、病毒检查、数据备份、防火墙安全技术等。     

联合战役仿真演示系统

联合战役仿真系统是为研究联合战役中各军种之间的战法和协同而建立的基于HLA的仿真系统。演示系统则是联合战役仿真系统的重要组成部分,其功能是适时表现联合战役仿真系统运行中的作战过程以及作战实体状态的变化,并为人工干预仿真过程提供人机交互界面。该文主要介绍了联合战役仿真演示系统物理环境的设计以及需要演示的态势信息在应用环境中的流程,提出了仿真演示系统的运行机理,阐述了演示系统的功能,重点介绍了在仿真演示系统开发的过程中涉及的相关关键技术及其实现方法。该文的论述可对类似仿真演示系统的设计和开发有所帮助。     

一个军网身份鉴别协议的形式化分析及修正

分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安全的。     

柔性机构的设计计算

柔性机构可以通过挤压或注模的方式整体加工,所以可以减少装配费用,提高产品的可靠性,缩短产品的生产周期,并降低设备的成本,因而在“免装配设计”中非常有意义,但到目前为止柔性机构的设计工作很多仍是通过试凑完成 的,这样既不能保证精度要求,也无法提高设计效率,根据“刚性”和“柔性”之间的辩证关系,通过探索,研究,得出了一种容易理解和操作和设计计算方法,可为柔性机构的设计计算提供一定的参考。     

基于DSP技术的网络洗衣机控制器通信接口的设计

~~基于DSP技术的网络洗衣机控制器通信接口的设计@崔光照$郑州轻工业学院 @王延峰$华中科技大学 @祝晓阳$郑州轻工业学院 @李淑君$郑州轻工业学院~~     

正交多项式矩阵、矩阵连分式及其pade—逼近

由于正交多项式矩阵满足三项递推关系,而矩阵连分式的第n次渐近分式也满足三项递关系,为此我们构造了一种矩阵连分式,证明了此连分式的第n次渐近分式与其pade－逼近及其幂级数之间的关系。     

面板堆石坝建设中的施工质量控制

针对面板堆石坝的特点,从趾板、面板、混凝土的施工、堆石填筑以及通过工程质量等级评定来实现混凝土面板堆石坝的施工质量控制.     

聚合铁铝净水剂的开发与试用

通过对用高岭土制备合铁铝净水剂与其它净水剂对选煤污水的对比处理研究,并给出了聚合铁铝净水剂与其它净水剂对选煤污水的对比处理结果,分析了用高岭土制备聚合铁铝净水剂的经济指标。