基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

会计信息的质量特征

文章论述了会计信息的相关性和可靠性,二者共同构成了会计信息质量特征要求,缺一不可.通过对二者的内在矛盾分析和两大流派观点分析,提出了我国对会计信息质量的现实选择.     

Delphi4.0中的网络消息传递机制及应用

阐述了在Ｄｅｌｐｈｉ４ ．０ 下开发ｃｌｉｅｎｔ／ｓｅｒｖｅｒ 模式应用程序时，利用Ｄｅｌｐｈｉ４ ．０ 所提供的Ｉｎｔｅｒｎｅｔ 组件在网络计算机之间进行消息传递的原理，并介绍怎样利用这一功能设计开发实际的应用系统。     

自动喷水灭火系统设计问题探讨

通过对中危险级自动喷洒灭火系统喷头布置形式的研究 ,推导出喷头在矩形、棱形、走道单排布置时的适宜布置间距 ,依据喷头最有利点与最不利点间的压力范围控制管道的压力损失 ,确定配水干管和支管的管径。不宜盲目采用常规推荐的管径     

电路媒体网关中网络控制板的设计

根据 3G通信标准 ,对CMG中的NT4K板进行设计 ,以完成话音链路的无阻塞交换     

快速原型制造中新型数据模型的研究

分析当前快速原型制造系统中采用的STL数据模型的结构 ,针对其缺陷提出了一种新型的数据模型 ,弥补了STL数据模型缺乏几何拓扑信息 ,冗余数量大的不足 ,并在新的模型的设计中引入空间分割的概念 ,提高了快速原型制造的效率。     

一种新型的局部地区网络结构——总线环网(Bus-Ring)

本文介绍了一种新的局部网结构—Bus-Ring和介质送取控制方式—TOKEN CAPTURE,新网的外形结构仍是环形的,但每个结点的接口处理机有一个三态门来旁路,这样,报文经过每个结点时没有延迟,报文在网络中被所有结点同时收到,基于这种网络结构,可以实现令牌截取控制方式,在网络中,令牌不是逐个结点地顺序转送,而是由要求发送信息的结点在环路上截取令牌,建立令牌时采用侦听和碰撞检测技术,如同CSMA/CD,这样,在网络轻载时,可以使用CSMA/CD方式,重载时,使用TOKEN CAPTURE方式,这种新型网络增加了送取方式的灵活性,减少了报文经过每个结点的延迟和令牌传递时间,计算机仿真结果表明Bus-Ring网络性能优于总线网。     

针对空域明文LSB隐写的消息提取方法

在嵌入消息为明文的情况下,利用中英文字节比特的统计特性,改进了已有的针对空域连续最低有效位(LSB)隐写的消息提取方法,提高了提取消息的准确度;提出了一种针对空域随机LSB隐写的消息提取方法.该方法首先求出恢复隐写密钥的唯一解距,然后穷举隐写密钥空间,对每个密钥确定长度为T的隐写路径,提取此隐写路径上像素的LSB,并从该LSB序列的第一个比特开始间隔7采样获得一条子序列,若该子序列为全0或全1,则该密钥为真密钥,否则为伪密钥;同时还研究了漏检的情况.实验结果表明了本文方法的可行性和有效性.     

Ad hoc网络消息传播过程的高阶描述模型

为避免采用随机抽样模型对Ad hoc网络消息传播过程进行定量分析时存在的高估消息覆盖节点数的问题,对现有模型进行修正,提出了一种高阶描述模型.该模型在转发消息时考虑了会对下一次消息转发到达新节点的概率产生影响的2个参数:节点被访问次数和节点度.节点被访问的次数越多,模型的阶数越高.在包含2 000个节点的随机图网络拓扑上的仿真试验结果表明,当消息覆盖的节点数超过1 800时,无论拓扑是否连通,一阶模型和二阶模型对Ad hoc网络消息传播过程的拟合度均优于随机抽样模型.当网络拓扑不连通时,一阶模型和二阶模型仍会高估消息覆盖的节点数;相反,当网络拓扑连通时,两者对仿真结果的拟合度较好,最终误差分别为-7%和-1%.     

微信公众平台在机床制造业中的应用研究

为了探索微信公众平台在机床制造业中的应用,介绍了微信公众平台的基本功能,对机床制造业进行了分析,对微信公众平台在机床制造业市场宣传、营销、维修中的作用进行了探讨.微信公众平台是新媒体,具有移动互联网基因,在机床制造业信息化过程中大有可为.