论文部分内容阅读
漏洞是软件安全的一个严重威胁，如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因，得出了其形成的3个必要条件，并根据产生原因的不同，针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏洞，分别提出了相应的基于有限状态自动机的漏洞检测模型。
基于有限状态自动机的漏洞检测模型
【摘 要】
：
漏洞是软件安全的一个严重威胁，如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因，得出了其形成的3个必要条件，并根据产生原因的不同，
【机 构】
：
解放军信息工程大学信息工程学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年8期
其他文献
9月20日,由成都企业联合会、成都工业经济联合会、成都企业家协会等单位联合主办的“2017成都百强企业发布会暨表彰大会”在成都召开.会议期间2017野成都企业（综合类）100强”、
近年来，我县不断深化妇幼卫生管理模式和工作机制改革，积极探索实践，走出了一条以农村社区卫生服务为链条，将整个农村妇幼保健工作紧密串接在一起，提高全县妇幼保健整体水平的新路
对全局环境未知且存在障碍物情况下的移动机器人路径规划问题进行了研究。借助有序二叉决策图的原理，首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型，并
目的观察护理风险教育在低年资护士管理中的应用效果。方法利用现场操作进行示范、案例重演、文字、自学、多媒体、讲座等的方式来完成对低年资护士的护理风险教育。结果一般
<正>瓦克将在10月19~26日于德国杜塞尔多夫举行的2016年第20届国际塑料和橡胶博览会(K2016)上展示一种全球最新产品——工业用有机硅三维打印机ACEOImagine Series K。ACEO
昆山市地处长江三角洲，市域总面积927．7平方里，户籍人口61．9万，1989年撤县建市，现辖10个镇和1个国家级经济技术开发区。2005年，全市完成国内生产总值730亿元，财政收入116．82亿元，地方一
NdxY1-xAl3 (BO3 ) 4(NYAB)系列晶体是过去十几年来受到普遍关注的自倍频晶体 ,该晶体兼备激光晶体和非线性光学晶体的优良特性 ,如 :具有大的激光发射截面和相当高的非线性
目的：了解艾滋病危险性行为在男性民工群体中传播和扩散的特点。方法：运用创新扩散理论模式设计结构式调查问卷．在男性民工群体中随机抽样调查831人。结果：男性民工群体危险性行
提出了分层并行策略结合灾变模型的混合粒子群算法——分层并行灾变粒子群算法（HPCPSO）,它能提高算法的收敛性和稳定性。同时通过对交叉口交通情况的研究,把车辆延误、车辆停车