检索结果-内蒙古大学图书馆

软件学报 2005年第6期16卷 1151-1158页

作者：张衡卞洪流吴礼发张毓森崔明伟曾庆凯解放军理工大学通信工程学院江苏南京210007 解放军理工大学指挥自动化学院江苏南京210007 南京大学计算机科学与技术系江苏南京210093

程序行为控制作为一种主动检测机制,主要在4个方面进行研究:审计数据源选择、行为描述、正常行为模式的建立与行为匹配.对事件序列模型作了深入研究,提出了采用另外一种与系统调用完全不同的数据源——LSM(Linuxsecuritymodules,简称Li... 详细信息

程序行为控制作为一种主动检测机制,主要在4个方面进行研究:审计数据源选择、行为描述、正常行为模式的建立与行为匹配.对事件序列模型作了深入研究,提出了采用另外一种与系统调用完全不同的数据源——LSM(Linuxsecuritymodules,简称Linux安全模块)截获点,并从理论和实践两个方面来验证LSM数据源的有效性,即基于信息理论的数据质量分析和实际系统的运行结果分析.结果表明,由于LSM数据源的粒度更细以及和安全更相关,使得它更适合作为事件序列模型的审计事件.

关键词：程序行为控制短序列模型 Linux安全模块(LSM)

来源：评论

学校读者我要写书评

暂无评论

基于RST修正核单类SVM的程序行为控制系统

引用

计算机工程 2008年第3期34卷 154-156页

作者：骆玉霞刘金刚中国科学院计算技术研究所

程序行为控制系统对程序行为进行建模、检测和响应。单类支持向量机(SVM)在有限样本的情况下用于异常检测,具有较好的分类精度和泛化能力。针对以前利用单类支持向量机进行异常检测的研究中没有考虑属性权重的问题,该文提出利用粗糙集理... 详细信息

程序行为控制系统对程序行为进行建模、检测和响应。单类支持向量机(SVM)在有限样本的情况下用于异常检测,具有较好的分类精度和泛化能力。针对以前利用单类支持向量机进行异常检测的研究中没有考虑属性权重的问题,该文提出利用粗糙集理论(RST),引入反映属性重要性程度的权重值。给出通过找出决策系统中所有约简的集合确定属性权重的方法,并利用属性权重修正单类SVM的核函数。实验表明基于RST修正核的单类SVM具有更好的检测能力。

关键词：粗糙集理论单类支持向量机程序行为控制异常检测

来源：评论

学校读者我要写书评

暂无评论

基于Linux安全模块的程序行为异常检测研究

基于Linux安全模块的程序行为异常检测研究

引用

作者：凌生龙华中科技大学

学位级别：硕士

由于计算机安全问题越来越突出,入侵检测已成为重要的研究方向,其中异常检测由于其能检测到未知的攻击,已成为研究的重点。目前基于主机的程序行为异常检测的研究多集中在以系统调用作为数据源建立模型进行行为鉴别的基础上。在分析各... 详细信息

由于计算机安全问题越来越突出,入侵检测已成为重要的研究方向,其中异常检测由于其能检测到未知的攻击,已成为研究的重点。目前基于主机的程序行为异常检测的研究多集中在以系统调用作为数据源建立模型进行行为鉴别的基础上。在分析各种异常检测方法的基础上设计了一种采用在Linux内核2.6.9开始支持的LSM(Linux安全模块)数据作为数据源,针对这些数据建立隐马尔可夫模型进行异常检测的方法。由于LSM专为Linux安全性而设计,其数据提取点位于系统调用或内核函数内,分析表明LSM数据与系统调用相比提供的信息更详细,更与安全相关。在此基础上详细研究了如何针对应用程序从Linux系统内核提取其LSM序列,以及如何对数据预处理。分析了如何对截获的LSM序列进行检测前的离线训练以得到隐马尔可夫模型参数,采用了一种新的检测算法对被监控程序的LSM序列进行实时的异常检测。为了验证LSM数据源的有效性和检测效果,设计并实现了一种Linux平台下提取被监控程序LSM数据来建立隐马尔可夫模型的异常检测原型系统HIDS。HIDS实现中采用了netlink等技术,主要包含四个模块:工作在内核空间的LSM监控模块、内核和用户空间通讯模块、工作在用户空间的HMM事件分析模块、检测记录与响应模块。对HIDS进行了负荷性能测试、训练实验和模拟攻击实验。实验结果表明:LSM作为异常检测的数据源是有效的,对Linux平台下的LSM数据建立隐马尔可夫模型进行异常检测的方法可行,并能取得很好的检测效果。

关键词：异常检测 Linux安全模块隐马尔可夫模型程序行为控制

来源：评论

学校读者我要写书评

暂无评论

软件动态和静态完整性保护技术研究

软件动态和静态完整性保护技术研究

引用

作者：吴琨南京大学

学位级别：硕士

随着信息技术的发展，作为信息技术的基础，软件正在随着其规模的扩大和复杂性的提高，变得越来越难以开发和维护。互联网技术的发展更使得软件在开发和维护中产生的漏洞，暴露在大量的攻击和入侵事件中，无论是软件的生产者还是使用者... 详细信息

随着信息技术的发展，作为信息技术的基础，软件正在随着其规模的扩大和复杂性的提高，变得越来越难以开发和维护。互联网技术的发展更使得软件在开发和维护中产生的漏洞，暴露在大量的攻击和入侵事件中，无论是软件的生产者还是使用者都蒙受了巨大的损失，软件的安全性研究成为信息技术发展的热点和难点。软件安全研究就是研究在软件及相关数据的存储、处理和传输等过程中为保护其机密性、完整性和可用性等安全属性所采用的法律、教育和技术。本文重点研究软件及相关数据存储时的静态完整性和运行时的动态完整性保护技术：1)本文为程序安全缺陷建立了一种多维的分类方法。在软件系统的设计、开发、运行和维护的过程中产生的各种程序缺陷，是威胁软件及相关数据的机密性，完整性和可用性的主要原因。在产生原因和引入时间上对程序安全缺陷进行分类，有助于有针对性地消除这些程序安全缺陷造成的危害。\n 2)本文阐述了缓冲区溢出攻击的原理，总结了防御缓冲区溢出攻击的各种方法。缓冲区溢出攻击是针对在软件开发阶段中无意引入的边界检查程序缺陷的攻击，主要威胁软件及相关数据在运行时刻的完整性，目前是对软件安全最大的威胁。本文综述现有的防御缓冲区溢出攻击的方法，将其分成了动态防护、静态分析和程序行为控制的三大类，并分析了各种方法的优缺点。\n 3)本文介绍了基于静态分析的程序行为控制方法Callgraph模型，并分析其存在的不可能路径问题。Callgraph模型是一种新型的将静态分析和程序行为控制结合，可检测类似于缓冲区溢出攻击和格式化串攻击等恶意破坏程序的运行时刻完整性的攻击的方法，并着重分析了Callgraph模型中存在的可能导致漏报的不可能路径问题。\n 4)为了解决不可能路径问题，保护软件在运行时刻的动态的完整性，本文提出了基于静态分析的虚路径模型SAVPath模型。SAVPath模型不但使用了程序执行系统调用时的程序计数器的信息来描述程序执行的状态，同时还考虑到了系统调用时的程序调用栈的信息，以帮助模型更加精确地刻划程序执行的状态，并创造性地通过分析程序源代码来构建程序的虚路径以描述程序的状态转换，从而弥补了Callgraph模型在检测能力上的不足，并具有低开销，低漏报率以及不产生误报的特点。\n 5)为保护软件和数据在存储时刻的静态完整性，本文还提出了基于策略机制的文件免疫模型FIX并加以实现。病毒、木马和蠕虫等寄生在文件系统中的恶意程序缺陷，和对文件系统中数据文件的恶意破坏，是对软件和数据静态完整性的最大威胁。FIX模型提供了灵活的完整性策略描述语言，可以用于描述用户对文件完整性的需求，并能够自动按照用户的对文件完整性的需求，检测对文件系统中的文件或者目录的非法操作，并对受损的文件或者目录加以恢复，从而保证了软件和数据在存储时刻的静态完整性。

关键词：入侵检测系统计算机免疫学软件完整性保护静态分析程序行为控制软件安全性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：