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

计算机研究与发展 2023年第2期60卷 274-293页

作者：谭添马晓星许畅马春燕李樾南京大学计算机科学与技术系南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023 西北工业大学软件学院西安710129

近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.... 详细信息

近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.介绍了Java指针分析的重要内容:指针分析算法、上下文敏感、堆对象抽象、复杂语言特性处理、非全程序指针分析,特别是对近年来指针分析的研究热点选择性上下文敏感技术进行了梳理和讨论.

关键词：指针分析别名分析 Java 静态分析上下文敏感

来源：评论

学校读者我要写书评

暂无评论

基于CORBA的分布式访问控制

引用

小型微型计算机系统 2001年第11期22卷 1359-1363页

作者：谭文芳胡南军陈贵海南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着网络应用的发展 ,应用对安全管理的需求逐步提高 .由于安全管理最终目的是实现对资源的安全使用 ,访问控制成为安全协议中的核心问题 .目前基于角色的访问控制 (RBAC)正在因为适应于广大的商业和政府应用的需要而逐渐为人们所重视 ... 详细信息

随着网络应用的发展 ,应用对安全管理的需求逐步提高 .由于安全管理最终目的是实现对资源的安全使用 ,访问控制成为安全协议中的核心问题 .目前基于角色的访问控制 (RBAC)正在因为适应于广大的商业和政府应用的需要而逐渐为人们所重视 .另一方面 ,由于异构环境的存在和异构环境下实现互操作的需求 ,CORBA凭其广泛的支持力而成为中间件规范的公认标准 .本文基于〔6〕的分析之上 ,描述 CORBA对 RBAC的方便支持 ,但是现有的 CORBA中对角色的管理有诸多不足 ,对此本文提出基于 CORBA的 RBAC实现中角色的动态管理机制 ,给出了管理框架描述 ,从而使

关键词： CORBA 分布式访问控制角色管理网络安全计算机网络

来源：评论

学校读者我要写书评

暂无评论

虚拟网络马拉松系统通信协议及关键技术研究

引用

系统仿真学报 2010年第9期22卷 2125-2130页

作者：欧阳婷婷苏绍勇卢威潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关... 详细信息

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关键技术的实现,包括标准性、公平性、通信开销和自愈合性,在此基础上设计并实现了虚拟网络马拉松系统网络通信协议VNMCP。

关键词：分布式虚拟环境电子竞技网络通信协议虚拟网络马拉松

来源：评论

学校读者我要写书评

暂无评论

基于系统调用特征的入侵检测研究

引用

电子学报 2003年第8期31卷 1134-1137页

作者：姚立红訾小超黄皓茅兵谢立南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

对网络服务程序进行攻击是非法用户入侵系统的主要途径 ,针对关键程序的入侵检测近年来受到重视 .该文提出的CTBIDS检测模型在利用系统调用特征树描述程序行为特征的基础上 ,通过异常有限积累判别程序入侵 ,既能体现异常状况的长期积累 ... 详细信息

对网络服务程序进行攻击是非法用户入侵系统的主要途径 ,针对关键程序的入侵检测近年来受到重视 .该文提出的CTBIDS检测模型在利用系统调用特征树描述程序行为特征的基础上 ,通过异常有限积累判别程序入侵 ,既能体现异常状况的长期积累 ,也能很好地反映入侵的异常局部性原理 .此外 ,该文通过统计分析方法确定入侵判别参数 ,使得入侵判别更加准确 .

关键词：信息安全入侵检测系统调用序列

来源：评论

学校读者我要写书评

暂无评论

对等计算中的基于多移动Agent的协作联盟机制

引用

电子与信息学报 2007年第2期29卷 345-349页

作者：徐小龙王汝传南京邮电学院计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

对等计算技术为Internet这样开放式的、动态变化的网络环境里各节点间的协同工作,进行复杂的分布式业务处理提供了运行基础设施。但是P2P环境中各节点随机加入和退出网络的、工作承担者事先不确定等特点也为工作的顺利完成带来了困难。... 详细信息

对等计算技术为Internet这样开放式的、动态变化的网络环境里各节点间的协同工作,进行复杂的分布式业务处理提供了运行基础设施。但是P2P环境中各节点随机加入和退出网络的、工作承担者事先不确定等特点也为工作的顺利完成带来了困难。该文提出一种对等计算环境中基于多移动Agent的柔性的、动态的协作联盟机制,适合部署于复杂、多变的应用环境之中,以克服对等节点协作的困难。主要思想是在某一需求目标的驱动下,主导节点建立项目,经过工作主体遴选,形成暂时的、优化的协作联盟,在复杂的处理流程的规范下,基于合作承诺,联合完成项目设定的任务。该文还将该机制应用于构建虚拟的敏捷企业供应链管理原型系统,以此证明了该机制的实用性价值。

关键词：对等计算协作联盟多移动Agent 供应链

来源：评论

学校读者我要写书评

暂无评论

基于隐马尔可夫模型的音频自动分类

引用

软件学报 2002年第8期13卷 1593-1597页

作者：卢坚陈毅松孙正兴张福炎南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

音频的自动分类,尤其是语音和音乐的分类,是提取音频结构和内容语义的重要手段之一,它在基于内容的音频检索、视频的检索和摘要以及语音文档检索等领域都有重大的应用价值.由于隐马尔可夫模型能够很好地刻画音频信号的时间统计特性,因此... 详细信息

音频的自动分类,尤其是语音和音乐的分类,是提取音频结构和内容语义的重要手段之一,它在基于内容的音频检索、视频的检索和摘要以及语音文档检索等领域都有重大的应用价值.由于隐马尔可夫模型能够很好地刻画音频信号的时间统计特性,因此,提出一种基于隐马尔可夫模型的音频分类算法,用于语音、音乐以及它们的混合声音的分类.实验结果表明,隐马尔可夫模型的音频分类性能较好,最优分类精度达到90.28%.

关键词：隐马尔可夫模型音频自动分类向量量化 MFCC 语音信号处理

来源：评论

学校读者我要写书评

暂无评论

一种基于QoS剪枝的Top-k自动服务组合方法

引用

电子学报 2012年第7期40卷 1489-1491页

作者：杨汝涛张绍谦窦万春南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

在大规模的Web服务中自动搜索满足功能性需求并且QoS前k优的服务组合是一个具有挑战性的问题.为解决此问题,本文方法首先对服务组合进行建模,然后通过前向服务过滤算法缩小求解空间,最后利用贪婪算法进行QoS剪枝以加快Top-k服务组合的... 详细信息

在大规模的Web服务中自动搜索满足功能性需求并且QoS前k优的服务组合是一个具有挑战性的问题.为解决此问题,本文方法首先对服务组合进行建模,然后通过前向服务过滤算法缩小求解空间,最后利用贪婪算法进行QoS剪枝以加快Top-k服务组合的后向搜索.本文给出了该方法的系统结构设计,实验结果验证了此方法的可行性和高效性.

关键词： Web服务服务组合服务质量(QoS) 本体语义剪枝

来源：评论

学校读者我要写书评

暂无评论

自然语言数据驱动的智能化软件安全评估方法

引用

软件学报 2018年第8期29卷 2336-2349页

作者：张一帆汤恩义苏琰梓杨开懋匡宏宇陈鑫计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学软件学院江苏南京210093

软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要.在实际中,用户不仅需要对未发布或者最新发布的软件实施安全... 详细信息

软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要.在实际中,用户不仅需要对未发布或者最新发布的软件实施安全性评估,对已发布软件也会有一定的安全评估需求,例如,当用户需要从市场上互为竞争的多款软件中做出选择,就会希望能够花费较低成本、较为客观地对这些软件进行第三方的评估与比较.提出了一种由自然语言数据驱动的智能化软件安全评估方法来满足这一要求.该方法基于待评估软件现有用户的使用经验信息来评估软件的安全性.它首先自适应地爬取用户在软件使用过程中对软件的自然语言评价数据,并利用深度学习方法与机器学习评估模型的双重训练来获得软件的安全性评估指标.由于所提出的自适应爬虫能够在反馈中调整特征词,并结合搜索引擎来获得异构数据,因而可通过采集广泛的自然语言数据来进行安全评估.另外,使用一对多的机器翻译训练能够有效地解决将自然语言数据转换为语义编码的问题,使得用于安全评估的机器学习模型可以建立在自然语言的语义特征基础上.在国际通用漏洞披露数据库(CVE)和美国国家漏洞数据库(NVD)上对该方法进行了实验,结果表明,该方法在评估软件漏洞数量、漏洞类型以及漏洞严重程度等指标上十分有效.

关键词：软件安全评估自然语言处理机器学习网络爬虫

来源：评论

学校读者我要写书评

暂无评论

基于定性多用户偏好的Web服务选择

引用

电子学报 2011年第4期39卷 729-736页

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

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方... 详细信息

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方法,用来解决涉及多个用户的Web服务选择问题.各用户对服务质量的需求被表示为偏好.提出的算法将能够综合考虑各个用户的偏好,使选出的服务尽可能满足大部分用户的偏好要求,并给出了一个实例说明该算法的应用.实验结果表明了算法的有效性.

关键词： Web服务服务质量 CP-net 偏好逻辑

来源：评论

学校读者我要写书评

暂无评论

数值稳定性相关漏洞隐患的自动化检测方法

引用

软件学报 2018年第5期29卷 1230-1243页

作者：沈维军汤恩义陈振宇陈鑫李彬翟娟计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210023

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑... 详细信息

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施,且已有的数值稳定性分析方法很难检测到该类漏洞的存在,因而这一新类型的漏洞隐患十分危险.面对这一挑战,首先从数值稳定性引起软件行为改变的角度定义了数值稳定性相关的安全漏洞隐患,并给出了对应的自动化检测方法.该方法基于动静态相结合的程序分析与符号执行技术,通过数值变量符号式提取、静态攻击流程分析以及高精度动态攻击验证这3个步骤来检测和分析软件中可能存在的数值稳定性相关安全漏洞.在业界多个著名开源软件上进行了实例研究,实验结果表明:该方法能够有效检测到实际软件中真实存在的数值稳定性相关漏洞隐患.

关键词：漏洞检测数值稳定性程序分析软件安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：