格式化串读写越界攻击的原理和研究现状

首先给出了格式化串的组成和内存的基本布局,然后介绍了格式化串读写越界的原因,最后详细介绍了格式化串读写越界防御的研究现状。     

格式化串读写攻击的利用和动态防御技术

首先给出了格式化串读写越界的定义,然后给出了格式化串攻击的利用,最后提出了一种动态防御格式化串攻击的技术。     

格式化串攻击防御研究现状

缓冲区溢出对计算机造成了很大影响,格式化串溢出也是一种缓冲区溢出漏洞。首先给出了格式化串攻击的定义,然后给出了格式化串攻击的举例,最后给出了格式化串防御的研究现状。     

缓冲区溢出攻击原理和现有检测技术

首先给出了格式化串的组成和内存的基本布局,然后介绍了格式化串读写越界的原因,最后详细介绍了格式化串读写越界防御的研究现状。     

格式化串攻击原因和分类

格式化串攻击是缓冲区溢出攻击的常见一种,本文首先给出了格式化串攻击的定义,然后给出了格式化串攻击的原因,最后给出了格式化串攻击的分类。     

一种快速RTF格式化方法

利用两个回调函数接口进行纯文本文件RTF格式化的方法,包括从磁盘文件读入数据到视的过程中对输入流进行RTF格式化,以及在用户键盘输入过程中对键入文本的格式。所用方法的格式化速度较一般方法有很大提高,达到了实用化。     

一种新的P2P网络病毒防御模型

目前,P2P网络在文件共享、即时通信和协同工作等领域获得了广泛的应用,对网络的发展和人们的生活都产生了深远的影响.同时,P2P网络由于其自身自组织和非中心化的网络特点,给当前的网络安全带来了新的挑战.从病毒防御方面着手,首先介绍了目前主流的病毒防御技术并分析了这些技术的优缺点,然后对病毒防御技术的发展方向进行了探讨.最后在充分利用现有病毒防御技术的基础上,针对P2P网络环境的特性提出了一种新的方案.     

一种新型斩波式串级调速系统

在深入分析斩波式串级调速的基础上,提出了一种全新的斩波器控制方法,消除了逆变器的换流重叠现象,根除了逆变颠覆的危险;并且推导出了斩波式串级调速转子回路的传递函数,构成了闭环控制系统;实验结果和仿真波形表明,该控制方法正确可行.     

一种串级调速的闭环控制系统

介绍了一种双闭环控制的串级调速系统，对系统的工作原理、组成及动态结构作了较为详细的论述，并解答了该系统在实际应用中出现的主要问题。     

一种平衡数据读写开销的数据复制方法

大型分布式系统通常将系统内存储的数据复制到多个节点以减少数据访问的时间开销.然而,随着数据副本数量的增加,副本数据更新过程的写代价也随之增加.如何合理地选择数据副本的存储节点、控制副本数量,以平衡数据的读写开销,进而有效地降低系统总的数据访问代价是分布式存储的研究热点.针对这一问题,本文提出了一种基于遗传算法的数据复制方法来平衡数据的读写开销.具体地本文对遗传算法进行了以下两方面改进:(1)建立了一个综合考虑读写数据传输代价的评价函数,以控制遗传算法的收敛方向,搜索数据副本存放位置的最优或次优策略;(2)通过时间序列预测方法来启发式地指导染色体变异操作,以合理控制副本数量适应数据的读写访问趋势.实验表明,与传统方法相比,本方法能够更有效地降低数据访问的总时间代价.     

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

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

钻柱动态数学模型的建立及求解

钻井用钻柱在使用过程中受力比较复杂，钻柱不仅存在纵向振动、横向振动，还存在扭转振动，并且3个振动相互耦合，用一般受力分析方法很难确定，采用能量法求出单元的动能和势能，利用拉格朗日方程建立起钻柱系统动力学有限元模型，求出了系统质量矩阵、刚度矩阵、阻尼矩阵及系统载荷矩阵，利用微分方程的数值计算方法对钻柱过程进行计算机仿真。通过研究得出了一套研究钻柱系统动力学模型及求解方法，。对新形钻柱的设计和钻井力学的研究具有指导意义。     

格式化字符串攻击检测与防范研究

从攻击原理、攻击检测与攻击防范角度研究格式化字符串攻击.文中首先比较了格式化字符串攻击和缓冲区溢出攻击的联系与区别,总结了*printf()系列函数与格式化字符串攻击相关的3条特殊性质以及6种格式化字符串攻击的方法.采用基于源代码的检测方法对格式化字符串漏洞进行检测,并阐述了漏洞检测方法的原理和关键代码.最后对格式化字符串攻击的3种防范技术FormatGuard、Libsafe和White-Listing进行了比较研究,特别对Linux下的基于动态链接库的保护方法Libsafe的原理及其对格式化字符串攻击的防范策略采取的3个步骤进行了详细分析.     

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

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

一种带有长度和位置约束的字符串索引方法

提出了一种基于BWT(Burrows-wheeler-transform)的字符串集合的索引方法,以解决带有匹配字符串长度和匹配子串位置约束的子串确切匹配查找问题.讨论了BWT和基于BWT索引进行确切子串查找的基本原理.分析了字符串集合、匹配字符串长度和匹配子串位置约束对原BWT索引的影响.重点解决了快速地从匹配后缀位置到字符串ID和匹配子串位置的计算问题.在3个真实的数据集上进行了比对实验,结果表明:所提出的基于BWT索引方法在没有增加原索引大小的情况下,大大提升了带有匹配字符串长度和匹配位置约束的确切子串的查找的性能,因此该算法更加适用于大规模的字符串集合的索引进行近似字符串匹配和连接.     

新业态知识产权保护问题初探

新业态是我国经济发展进入新常态的一种体现,业态创新所引发的产业创新已成为经济发展的主要动力,是改变世界产业发展格局的重要引擎,也是我国迈向原创新兴产业的必经之路。对新业态知识产权保护开展相关研究,从认识新常态,适应新常态,引领新常态的更高层面加强认识和理解新业态,分析其知识产权特点,研究其知识产权保护存在的问题具有重要意义。     

SDFA： a Uniform Model for String Matching Algorithms

String matching algorithms play an important role in computer science. However, there is no uniform mathematical model to describe these algorithms. Thus, read-head-Skippable DFA (SDFA) is put for-ward, which is an extension of two-way DFA. It is proved that SDFA is equivalent to DFA. Furthermore,SDFA is a more natural mathematical model for string matching algorithms. After that, four types of the movement of the read head of string matching are analyzed and modeled by SDFA. Finally, the SDFA model of BMA string matching algorithms is given.     

非线性弦振动方程的精确解

借助一个推广形式的Riccati方程组,得到了非线性弦振动方程新的精确解,包括各种形式的孤立子解,此种方法同样也适用于求解其他非线性偏微分方程．     

扩散方程的一种跳点格式

通过求解泥沙扩散方程研究泥沙沿水深的分布和含沙量分布沿程的变化规律,构造了一种新的差分格式——跳点格式,并对其理论性质作了分析验证,结果表明:这种格式计算简便,算法简单,稳定性好、精度较高,体现了这种格式的实用性和优越性。     

一种基于字符串模型的轨迹相似度计算

建立字符串轨迹模型,利用双层结构进行建模,有效减少了表征轨迹时需要使用的字符总数。对LCS进行改进,使之适用于该模型,从而提高了计算轨迹间距离的精度。通过比较,改进的距离计算方法与多维向量组轨迹模型下距离计算方法的计算时间,作为衡量计算速率的标准。利用多维标度技术(MDS)将得到的距离矩阵映射到二维空间中,通过人工标识MIT停车场行人路径数据,计算类间、类内距离的均值和方差,衡量距离计算方法的精度。最后通过路径数据中的四类典型问题,验证本文设计的方法在解决实际问题中的能力。实验表明,改进LCS应用于双层字符串轨迹模型,在时间消耗上最优,精度最高,能很好的解决四类典型问题。