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

南京理工大学学报 2010年第5期34卷 680-685,690页

作者：徐建荆文娟严悍张宏南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体... 详细信息

为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体系结构元素的风险因子;提出了一种风险累积算法,把体系结构层的风险因子表示成所有构件风险因子的函数,用于评估体系结构的风险。对嵌入式软件数字录音机进行了实例分析,结果表明,本文方法能够通过评估构件、场景、子系统的风险因子来识别他们。

关键词：风险评估统一建模语言规范软件体系结构动态度量

来源：评论

学校读者我要写书评

暂无评论

基于规则与相似度的语义web服务匹配

引用

南京大学学报（自然科学版） 2010年第2期46卷 159-168页

作者：陶望胜陶先平吕建南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者... 详细信息

随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者主要效率方面占优,而后者则在精度方面优势明显.本文提出了一种基于规则与相似度的语义web服务两阶段匹配方案.该方案采用语义网规则语言作为规则描述语言,利用基于相似度的服务输入输出匹配方法进行第一阶段的筛选.在此基础上再次利用基于规则推理的方法,对第一阶段的匹配结果进行进一步的精化,从而在效率与精度两方面取得一定的平衡.

关键词：语义web服务匹配语义网规则语言本体相似度

来源：评论

学校读者我要写书评

暂无评论

基于角色的层次受限委托模型

引用

电子科技大学学报 2010年第1期39卷 114-118页

作者：刘正涛毛宇光王建东叶传标南京航空航天大学信息科学与技术学院南京210016 三江学院计算机科学与工程系南京210012 南京大学计算机软件新技术国家重点实验室南京210093

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委... 详细信息

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委托授权时的冲突检测算法与用户所拥有权限的计算算法及该模型的一个应用实例。

关键词：访问控制构件委托层次

来源：评论

学校读者我要写书评

暂无评论

基于动静态程序分析的整形漏洞检测工具

引用

电子学报 2010年第8期38卷 1741-1747页

作者：陈平韩浩沈晓斌殷新春茅兵谢立南京大学软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093 扬州大学信息工程学院江苏扬州225009

近几年,针对整形漏洞的攻击数目急剧上升.整形漏洞由于隐蔽性高,成为危害巨大的软件漏洞之一.本文提出了一种自动检测整形漏洞的防御工具,它结合了静态和动态程序分析技术.在静态分析阶段,该工具反编译二进制程序,并创建可疑的指令集.... 详细信息

近几年,针对整形漏洞的攻击数目急剧上升.整形漏洞由于隐蔽性高,成为危害巨大的软件漏洞之一.本文提出了一种自动检测整形漏洞的防御工具,它结合了静态和动态程序分析技术.在静态分析阶段,该工具反编译二进制程序,并创建可疑的指令集.在动态分析阶段,该工具动态地扫描可疑集中的指令,结合可触发漏洞的输入,判断指令是否是整形漏洞.我们的工具有两个优点:首先,它提供了精确并且充足的类型信息.其次,通过基于反编译器的静态分析,工具减少了动态运行时需要检测的指令数目.实验结果表明,我们的工具可以有效地检测到实际程序中的整形漏洞,并且在我们检测的软件中,没有发现漏报,误报率也很低.

关键词：计算机安全软件安全软件漏洞整形漏洞

来源：评论

学校读者我要写书评

暂无评论

一种基于聚集系数的局部社团划分算法

引用

计算机科学 2010年第7期37卷 46-49,53页

作者：李孔文顾庆张尧陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

社团划分算法是复杂网络研究中的一个热点问题。传统的复杂网络社团划分算法都必须获得全局网络的信息。随着网络规模不断增大,获得全局信息的难度随之增加;而在很多情况下只关心网络中某节点所在的局部社团。为了准确、快速地找到大规... 详细信息

社团划分算法是复杂网络研究中的一个热点问题。传统的复杂网络社团划分算法都必须获得全局网络的信息。随着网络规模不断增大,获得全局信息的难度随之增加;而在很多情况下只关心网络中某节点所在的局部社团。为了准确、快速地找到大规模复杂网络中的局部社团,提出了一种基于节点聚集系数性质的局部社团划分算法。该算法根据节点的连接频度,利用节点聚集系数的性质,从网络中某一待求节点开始,通过搜索邻居节点,划分该节点的社团结构。该算法只需要了解与待求节点相关的局部网络信息,在解决局部社团划分问题时其时间复杂度比传统的社团划分算法低。同时,该算法也可以应用于复杂网络全局社团结构的划分。利用该算法分别对Zachary空手道俱乐部网络和由Java开发工具包构成的软件网络图进行社团划分实验,并且分别对实验结果与对象网络的具体特征进行了对比分析。

关键词：局部社团聚集系数社团划分

来源：评论

学校读者我要写书评

暂无评论

基于动态染色的内存漏洞定位技术

引用

计算机工程 2010年第7期36卷 139-141页

作者：房陈茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏... 详细信息

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏洞。实验结果证明,该方法能成功定位常见内存漏洞的位置,并能定位到有漏洞的库函数的调用点。

关键词：程序漏洞攻击检测程序染色缓冲区溢出格式化字符串

来源：评论

学校读者我要写书评

暂无评论

基于不干扰理论的信道控制策略及其自动化验证方法

引用

计算机应用 2010年第3期30卷 708-714页

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

通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略... 详细信息

通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略正是基于上述目的。而针对信道控制策略复杂而不便于手工验证的特点,提出了基于通信顺序进程(CSP)的系统和策略描述方法以及基于FDR2的系统信息流策略自动化验证方法。该方法能够在少量的人工参与的情况下有效地分析信道控制策略,发现大部分存储隐蔽通道。

关键词：不干扰模型信道控制信息流通信顺序进程形式化验证

来源：评论

学校读者我要写书评

暂无评论

权吸引子传播算法及其在文本聚类中的应用

引用

计算机研究与发展 2010年第10期47卷 1733-1740页

作者：管仁初裴志利时小虎杨晨梁艳春吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 内蒙古民族大学计算机科学与技术学院内蒙古通辽028000 计算机软件新技术国家重点实验室(南京大学) 南京210093 吉林大学地球科学学院长春130061

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量... 详细信息

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量.这种方法的优点是简单且易于实现,但随着数据规模的膨胀,向量空间将变得高维稀疏并将导致计算复杂度快速增长.为解决此问题,给出了相似特征集、排斥特征集和仲裁特征集的概念,在这些概念的基础上提出了一种能够包含文本结构信息的非欧空间相似性度量方法.并提出了一种新的聚类算法,称之为权吸引子传播算法(weight affinity propagation,WAP).为检验提出算法的聚类效果,选用标准数据集Reuters-21578进行了验证.实验结果表明WAP明显优于k-means聚类算法、具备非线性特征的SOFM聚类算法和采用经典相似性度量的吸引子传播算法等3种经典聚类算法.

关键词：吸引子传播算法相似特征集排斥特征集仲裁特征集文本聚类

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

引用

武汉大学学报（信息科学版） 2010年第5期35卷 570-573页

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。

关键词：可信代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

一个基于XCS的同质团队学习模型

引用

计算机工程与科学 2010年第5期32卷 37-40,44页

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

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统... 详细信息

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统方法的上述不足。文中还在模型的基础上实验分析了相关因素,如规则积累、通信以及发现新规则等对多Agent协作效率的影响。

关键词：多Agent学习学习分类器系统合作策略

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：