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

解放军理工大学学报（自然科学版） 2009年第4期10卷 318-323页

作者：丁洪达王伟光曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从... 详细信息

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。

关键词：安全评估安全测试形式化方法测试案例生成覆盖准则

来源：评论

学校读者我要写书评

暂无评论

基于语义抽象的内存访问错误检测

引用

解放军理工大学学报（自然科学版） 2009年第3期10卷 262-268页

作者：蒋剑琴黄达明曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错... 详细信息

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词：软件安全程序静态分析语义抽象内存访问错误

来源：评论

学校读者我要写书评

暂无评论

分布式任务分配中的一种信誉重连策略

引用

广西大学学报（自然科学版） 2009年第5期34卷 645-648页

作者：张雷王崇骏谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

传统的任务分配一般是基于环境确定和所有Agent均他利的假设,而实际环境往往是复杂的,复杂环境下的Agent更趋理性和自利,所有这些问题给传统的任务分配带来了障碍。基于Agent理性自利的假设,提出了一种重连策略FriendFind并进行了相关实... 详细信息

传统的任务分配一般是基于环境确定和所有Agent均他利的假设,而实际环境往往是复杂的,复杂环境下的Agent更趋理性和自利,所有这些问题给传统的任务分配带来了障碍。基于Agent理性自利的假设,提出了一种重连策略FriendFind并进行了相关实验,实验表明该算法有效的解决了上述问题。

关键词：任务分配多Agent系统重连

来源：评论

学校读者我要写书评

暂无评论

新加密文件系统的研究与实现

引用

计算机工程与设计 2009年第14期30卷 3272-3277页

作者：顾正义黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明... 详细信息

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明,可以根据用户的策略对指定文件、文件夹或者某一类型文件进行加密存储,支持NTFS、FAT等多种文件系统,加密算法可以更改。实验结果表明,该系统性能良好且在功能和应用上都扩充了Windows EFS。

关键词： Windows 加密文件系统文件过滤驱动实现输入输出请求包

来源：评论

学校读者我要写书评

暂无评论

Windows消息钩子的拦截和清除

引用

计算机工程与设计 2009年第18期30卷 4201-4203,4206页

作者：郭津之龙海黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相... 详细信息

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相比能够有效的在操作系统内核模式下拦截和清除消息钩子,防止被恶意程序绕过,从而有效地阻止了恶意代码的插入。实验结果表明,该方法能够有效的阻止进程中被注入恶意代码。

关键词：消息钩子钩子链表系统服务拦截清除

来源：评论

学校读者我要写书评

暂无评论

蚁群算法解决连续优化问题的新途径

引用

山东大学学报（工学版） 2009年第6期39卷 24-30页

作者：孙海鹰陈崚扬州大学计算机科学与工程系江苏扬州225009 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了克服蚁群算法难以直接处理连续优化问题的缺陷,在保持蚁群算法基本框架的基础上,将传统蚁群算法中蚂蚁由解分量的信息素和启发式的乘积值按比例来决定取值概率的方式,改为根据连续的概率分布函数来取值.并将函数在各个维上的极值点... 详细信息

为了克服蚁群算法难以直接处理连续优化问题的缺陷,在保持蚁群算法基本框架的基础上,将传统蚁群算法中蚂蚁由解分量的信息素和启发式的乘积值按比例来决定取值概率的方式,改为根据连续的概率分布函数来取值.并将函数在各个维上的极值点方向作为蚂蚁搜索的启发式信息.在标准测试函数上的试验结果显示,该算法不但具有较快的收敛速度,而且能够有效地提高解的精确性,增强了算法的稳定性.

关键词：蚁群算法约束优化问题连续函数

来源：评论

学校读者我要写书评

暂无评论

基于最大频繁项集的层次聚类方法

引用

广西师范大学学报（自然科学版） 2009年第3期27卷 105-108页

作者：刘熙王崇骏叶亮范欣生南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京中医药大学江苏省方剂研究重点实验室江苏南京210002

几千年来,中医药领域的无数临床实践与理论研究积累了很多对哮喘病的治疗方剂,已有的基于距离的聚类算法在对哮喘方剂数据的聚类上不太有效。根据哮喘药方数据集高维稀疏性的特点提出一种基于最大频繁项集的层次聚类算法,此算法在哮喘... 详细信息

几千年来,中医药领域的无数临床实践与理论研究积累了很多对哮喘病的治疗方剂,已有的基于距离的聚类算法在对哮喘方剂数据的聚类上不太有效。根据哮喘药方数据集高维稀疏性的特点提出一种基于最大频繁项集的层次聚类算法,此算法在哮喘方剂的聚类上取得了较好的效果。基于现有中药数据,设计并实现一个中药方剂数据挖掘平台,该平台将中药数据检索功能和中药数据挖掘功能集成起来,带来了极大的便利。

关键词：频繁项集相似度层次聚类方剂

来源：评论

学校读者我要写书评

暂无评论

打印监控审计技术研究

引用

计算机工程与设计 2009年第2期30卷 484-486页

作者：黎伶锋郝东白张诚黄皓南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093 南京陆军指挥学院信息作战与指挥系江苏南京210045

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API... 详细信息

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API Hook、Driver Hook、虚拟打印机和轮询打印队列,这4种主要的打印监控审计技术的原理与实现算法,并分析了采用该监控技术在实际打印监控应用中的优点与不足。最后,综合各种监控技术的优缺点,给出了未来打印监控审计技术的一种发展趋势和应用方案。

关键词：打印监控审计挂钩轮询虚拟打印机

来源：评论

学校读者我要写书评

暂无评论

一种无线传感器网络中的定位精度改进方法

引用

计算机应用与软件 2009年第6期26卷 15-17,30页

作者：卞瑞祥苏凯李俊潘金贵南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室江苏南京210093

无线定位是无线传感器网络的一个重要应用,但目前仍然存在着定位精度不高、定位性能差的问题。通过针对TDOA(Time Difference of Arrival)/AOA(Angle of Arrival)混合式方法定位的超宽带(Ultra-Wideband)无线传感器定位系统,提出利用迭... 详细信息

无线定位是无线传感器网络的一个重要应用,但目前仍然存在着定位精度不高、定位性能差的问题。通过针对TDOA(Time Difference of Arrival)/AOA(Angle of Arrival)混合式方法定位的超宽带(Ultra-Wideband)无线传感器定位系统,提出利用迭代去噪和卡尔曼滤波器的混合式处理方法。在数据处理层面上改善系统的定位性能,从而提高定位可靠性。现场试验的数据表明该方法确实可以改善系统的定位效果。

关键词：传感器网络无线定位超宽带

来源：评论

学校读者我要写书评

暂无评论

基于POMDP的网络入侵意图识别研究

基于POMDP的网络入侵意图识别研究

引用

第三届中国数据挖掘学术会议(CCDM2009)

作者：吴涛王崇骏陈世福谢俊元计算机软件新技术国家重点实验室(南京大学) 江苏南京 210093 南京大学计算机科学与技术系江苏南京 210093

入侵检测作为一种主动的信息安全保障措施，已成为计算机安全特别是网络安全领域的研究热点。将人工智能技术、机器学习技术引入入侵检测领域，以解决入侵日益分布化、智能化的问题，已经成为工业界和学术界关注的课题。本文将对手思维... 详细信息

入侵检测作为一种主动的信息安全保障措施，已成为计算机安全特别是网络安全领域的研究热点。将人工智能技术、机器学习技术引入入侵检测领域，以解决入侵日益分布化、智能化的问题，已经成为工业界和学术界关注的课题。本文将对手思维建模技术和计划识别思想引入入侵检测中来。针对入侵者和入侵环境存在的许多不确定性，本文引入部分可观测马尔可夫决策过程(POMDP)作为在环境状态和行动效果都不确定的条件下，通过一系列决策达到最优目标的数学模型。在DARPA测试数据集上的实验结果证明了方法的有效性。

关键词：复合攻击攻击模式场景构建攻击路径图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：