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

软件学报 2012年第8期23卷 2207-2222页

作者：李小庆赵晓东曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive module,简称SSM)两部分.隔离执行器(SSMVisor)作为模型的核心部件,为... 详细信息

提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive module,简称SSM)两部分.隔离执行器(SSMVisor)作为模型的核心部件,为SSM提供了一个单向隔离的执行环境.既保证了安全性,又允许SSM以函数调用的方式与外部进行交互.安全应用程序的可信计算基(trusted computing base,简称TCB)仅由安全敏感模块和隔离执行器构成,不再包括应用程序中的安全无关模块和操作系统,有效地削减了TCB的规模.原型系统既保持了与原有操作系统环境的兼容性,又保证了实现的轻量级.实验结果表明,系统性能开销轻微,约为6.5%.

关键词：隔离执行硬件虚拟化安全敏感模块可信计算基

来源：评论

学校读者我要写书评

暂无评论

语义Web中对象共指的消解研究

引用

软件学报 2012年第7期23卷 1729-1744页

作者：胡伟柏文阳瞿裕忠计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着语义Web的快速发展,语义Web数据大幅增长.在语义Web中,单个对象很可能由多个不同的标识符(例如URI)指称.语义Web中,对象共指的消解是识别语义Web中指称相同对象的不同标识符,并消除描述这些标识符的RDF(resource description framew... 详细信息

随着语义Web的快速发展,语义Web数据大幅增长.在语义Web中,单个对象很可能由多个不同的标识符(例如URI)指称.语义Web中,对象共指的消解是识别语义Web中指称相同对象的不同标识符,并消除描述这些标识符的RDF(resource description framework)数据之间不一致性的过程,它对于语义Web数据的融合、搜索、浏览等具有重要作用.首先,形式化定义了语义Web中对象共指的消解问题;然后,从对象共指识别使用的特征、数据冲突的消解方式、对象共指消解方法的适用范围、现有原型系统和基准测试集这5个方面调研了最新的研究进展;最后,讨论了尚存的挑战,并展望未来可能的研究发展方向.

关键词：对象共指共指消解实例匹配语义Web 数据融合

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种角色分离的信任评估模型

引用

软件学报 2012年第12期23卷 3187-3197页

作者：周国强曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京邮电大学计算机学院江苏南京210003

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信... 详细信息

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信任度时,RSTrust将推荐者的全局推荐信任度作为其推荐证据的可信权重,消除恶意推荐对全局信任度计算的干扰.分析和仿真结果表明,模型具有良好的抗恶意推荐能力和收敛性.

关键词：对等网络信任模型推荐信任角色分离

来源：评论

学校读者我要写书评

暂无评论

基于模糊化的决策粗糙集属性约简和分类

基于模糊化的决策粗糙集属性约简和分类

引用

第十三届中国Rough集与软计算学术会议、第七届中国Web智能学术研讨会、第七届中国粒计算学术研讨会联合学术会议

作者：郭敏贾修一商琳南京大学软件新技术国家重点实验室江苏南京 210093 南京理工大学计算机科学与工程学院江苏南京 210094

决策粗糙集是基于贝叶斯风险最小化原则的一种具有一定容忍度的概率粗糙集模型，当前研究只局限于处理具有离散型数据的信息表。文中，将模糊集和决策粗糙集理论相结合，在决策粗糙集模型中计算期望风险损失时，利用模糊隶属度函数代替... 详细信息

决策粗糙集是基于贝叶斯风险最小化原则的一种具有一定容忍度的概率粗糙集模型，当前研究只局限于处理具有离散型数据的信息表。文中，将模糊集和决策粗糙集理论相结合，在决策粗糙集模型中计算期望风险损失时，利用模糊隶属度函数代替传统的后验概率求解方法。这样，即可以推导出新的决策规则，进而可以高效地处理那些包含连续型属性的信息系统。实验结果表明，该方法是可行的，并且可以通过调整隶属度函数，达到更佳分类效果。

关键词：决策粗糙集模糊集隶属度函数连续值属性

来源：评论

学校读者我要写书评

暂无评论

联盟规范系统及其规范能力极限

引用

软件学报 2012年第7期23卷 1796-1804页

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

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,... 详细信息

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.

关键词：规范系统交互时态逻辑联盟并发博弈结构

来源：评论

学校读者我要写书评

暂无评论

面向适航认证的模型驱动机载软件构件的安全性验证

引用

航空学报 2012年第5期33卷 796-808页

作者：徐丙凤黄志球胡军于笑丰南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学商学院江苏南京210093

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用... 详细信息

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。

关键词：适航认证安全性验证机载软件模型驱动形式化方法 SysML

来源：评论

学校读者我要写书评

暂无评论

利用移动内点来修复传感器网络空洞的算法

引用

通信学报 2012年第9期33卷 116-124页

作者：杨凯刘全张书奎李瑾翁东良苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对目标区域中存在感知空洞问题,提出了一种空洞修复准则。在此基础上,设计了基于移动节点无需地理信息的修复算法SOI,该算法通过计算空洞边缘可移动的最佳内点,使该边缘节点到达新的位置,实现减少目标区域中空洞面积的目的。分析与仿... 详细信息

针对目标区域中存在感知空洞问题,提出了一种空洞修复准则。在此基础上,设计了基于移动节点无需地理信息的修复算法SOI,该算法通过计算空洞边缘可移动的最佳内点,使该边缘节点到达新的位置,实现减少目标区域中空洞面积的目的。分析与仿真实验表明,与VHR算法相比,SOI算法在部署密集的传感网络中需要移动的总距离更少。

关键词：传感器网络覆盖空洞空洞修复移动内点

来源：评论

学校读者我要写书评

暂无评论

H.264中率失真代价估计模型研究

引用

通信学报 2012年第6期33卷 143-149页

作者：郑新资孙知信南京大学计算机软件新技术国家重点实验室江苏南京210093 南京邮电大学宽带无线通信与传感网技术教育部重点实验室江苏南京210003

提出了一种新的率失真代价估计模型。首先为提供更加精确的帧内/帧间宏块的编码比特数的估算,提出了一种新的码率估计模型,该码值为一序列编码参数的线性组合,这些参数跟熵编码和变换系数相关,从而得出新的性能更加优越的率失真代价估... 详细信息

提出了一种新的率失真代价估计模型。首先为提供更加精确的帧内/帧间宏块的编码比特数的估算,提出了一种新的码率估计模型,该码值为一序列编码参数的线性组合,这些参数跟熵编码和变换系数相关,从而得出新的性能更加优越的率失真代价估计模型。最后在率失真代价估计模型的效果分析、性能分析等多个方面进行详细的分析测试。实验结果表明,该模型在保证PSNR和码长变化不大的情况下大大地加快了编码速度。

关键词： H.264 率失真优化代价估计码率估计自适应可变长编码

来源：评论

学校读者我要写书评

暂无评论

安全协议多目标语言代码自动化实现方案

引用

通信学报 2012年第9期33卷 152-159页

作者：李兴华李帅团李登马建峰西安电子科技大学计算机学院陕西西安710071 南京大学计算机软件新技术国家重点实验室江苏南京210032

提出了安全协议多目标语言代码自动化实现方案。首先,基于XML语言,设计了安全协议描述方法;其次,开发了一个图形用户接口GUI,用户通过GUI配置安全协议,自动化生成协议的XML描述文档;最后,设计并实现了一个安全协议编译器,将先前得到的XM... 详细信息

提出了安全协议多目标语言代码自动化实现方案。首先,基于XML语言,设计了安全协议描述方法;其次,开发了一个图形用户接口GUI,用户通过GUI配置安全协议,自动化生成协议的XML描述文档;最后,设计并实现了一个安全协议编译器,将先前得到的XML描述文档作为输入,生成所需的目标语言代码。分析表明同已有方案相比,该方案具有明显的优势。

关键词：安全协议代码实现自动化 XML

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：