切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于内存更新记录的漏洞攻击错误定位方法
基于内存更新记录的漏洞攻击错误定位方法
来源 :计算机科学 | 被引量 : 0次 | 上传用户:hjss2008
【摘 要】
:
软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以
【作 者】
:
葛毅
茅兵
谢立
【机 构】
:
南京大学计算机科学与技术系软件新技术国家重点实验室
【出 处】
:
计算机科学
【发表日期】
:
2009年1期
【关键词】
:
内存腐败攻击
软件安全
错误定位
程序源代码
Memory corruption attack
Software security
Fault Locali
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的信息修复漏洞并生成最终补丁。
其他文献
增量式广义概念格结构的生成算法研究与实现
介绍分析了概念格的研究现状,给出了基于规则的广义概念格的基本定义。通过构建树结构,缩小产生子格节点的范围,产生增量式广义概念格算法。最后,通过实例验证了所提出的算法的时
期刊
广义概念格
概念格
增量式生成算法
知识构建
产生式规则
Generalized concept lattice
Concept lattice
Incre
基于W态的量子安全直接通信协议
提出了一种新的两方量子安全直接通信协议。该方案利用有序的四粒子W态作为信息载体,利用幺正变换对秘密消息进行编码,通过当地Bell基测量和经典通信直接传递秘密消息。在理想
期刊
量子密码
量子安全直接通信
W态
幺正变换
Quantum cryptography
Quantum secure direct communication
基于动态主成分子空间的人脸识别算法
在基于子空间分析的人脸识别中,通常是按照特征值的大小来确认主成分的重要性,并以此为基础构造一个固定的特征子空间。通过人脸图像重建分析,发现固定的特征子空间会给人脸识别带来误差,于是采用多元线性回归分析理论,提出一个动态主成分子空间构造算法。在此基础上,得到了动态PCA(主成分分析)算法和基于Gabor特征的动态PCA算法。由ORL和Georgia Tech人脸数据库上的实验结果表明,该算法不仅减少
期刊
人脸识别
特征选择
主成分分析
GABOR特征
回归分析
Face recognition
Feature selection
Principal comp
基于流体随机Petri网的服务器集群再生模型
服务器集群是提高系统QoS和可用性的一种方法,但由于需要长期连续运行提供服务,集群系统仍然会存在软件老化现象,从而造成系统的处理能力随时间的增加而降低、失效率随时间的增
期刊
软件再生
软件老化
流体随机PETRI网
集群
Software rejuvenation
Software aging
Fluid stochastic
一种基于泛函网络求数值积分方法研究
提出了一种基于泛函网络求数值积分新方法,给出了一种泛函网络模型及学习算法,并将该模型用于求任意函数的数值积分,理论上证明了泛函网络用于逼近数值积分定理。最后通过5个数
期刊
泛函网络
基函数
学习算法
函数逼近
数值积分
Functional network
Basis functions
Learning algorithm
一种数字内容借(租)阅模型及其实现框架
提出了一种数字内容借(租)阅模型及其实施框架。该模型可实现数字内容的传统借(租)阅模型,也易于产生新的数字内容使用模型,具有较强的灵活性。模型的主要协议及其功能由许可证规则
期刊
借阅模型
数字内容
数字权利管理
Lending model
Digital content
Digital rights management (DRM)
对一种公平非否认协议的新改进
Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论。Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步。
期刊
公平性
非否认性
协议
时钟同步
Fairness
Non-repudiation
Protocol
Clock synchronization
一种新的测试集简化的测试覆盖准则
在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简
期刊
测试覆盖准则
测试集简化
回归测试
软件测试
Test criteria
Test suite reduction
Regression test
微内核完整性保障研究与应用
为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受
期刊
完整性
安全保障
微内核
多服务器结构
进程隔离
消息通信
操作系统
Integrity
Security assurance
Micro kernel m
LT码的BPML译码算法
采用置信度传播算法(BP)对LT码进行译码时,停止集是影响译码效率的重要因素。对LT码停止集的大小进行了理论分析和仿真,提出了置信度传瓣最大似然联合译码算法(BPML)。该算法首先采
期刊
数据分发
喷泉码
LT码
BPML
停止集
Data distribution
Digital fountain
LT codes
BPML
Stopping
其他学术论文