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

2013中国计算机大会

作者：李强冯登国张立武高志刚中国科学院软件研究所可信计算与信息保障实验室北京 100190

采用一种简洁高效的转化方法将Waters的只能抵抗选择明文攻击(Chosen-Plaintext Attack,CPA)的基于属性的加密方案转化为能够抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的密钥封装方案,并在此基础上提出了一个标准模型下增强的基... 详细信息

采用一种简洁高效的转化方法将Waters的只能抵抗选择明文攻击(Chosen-Plaintext Attack,CPA)的基于属性的加密方案转化为能够抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的密钥封装方案,并在此基础上提出了一个标准模型下增强的基于属性的认证密钥协商协议.该协议能够在CK+模型下可证安全.CK+模型是目前关于认证密钥协商协议的最强的安全性定义.本文协议满足弱的完美前向安全性,并能抵抗密钥泄露伪装攻击和临时密钥泄露攻击.相比于现有的基于属性的认证密钥协商协议,本文协议具有更高的通信效率和更强的安全性.

关键词：认证密钥协商协议标准模型性能评价

来源：评论

学校读者我要写书评

暂无评论

问题框架方法的可靠性关注点及系统可靠性增强模式

引用

计算机学报 2013年第1期36卷 74-87页

作者：尹斌金芝李智中国科学院数学与系统科学研究院北京100190 中国科学院研究生院北京100049 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 广西师范大学计算机科学与信息技术学院广西桂林541002

软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程... 详细信息

软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.

关键词：系统可靠性问题框架方法可靠性关注点可靠性增强模式

来源：评论

学校读者我要写书评

暂无评论

一种面向移动计算的机密性与完整性模型

引用

计算机学报 2013年第7期36卷 1424-1433页

作者：郭云川方滨兴殷丽华周渊中国科学院信息工程研究所北京100093 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 国家计算机网络应急技术处理协调中心北京100029

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Security... 详细信息

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.

关键词：机密性完整性混杂类型检测移动计算移动互联网

来源：评论

学校读者我要写书评

暂无评论

物联网服务建模:一种基于环境建模的方法

引用

中国科学：信息科学 2013年第10期43卷 1198-1218页

作者：李戈魏强李力行金芝许焱郑丽伟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190 中国科学院大学北京100049 北京信息科技大学计算机学院北京100085

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响... 详细信息

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

关键词：物联网物联网服务环境建模服务建模本体服务建模过程

来源：评论

学校读者我要写书评

暂无评论

基于关联挖掘的软件错误定位方法

引用

计算机学报 2012年第12期35卷 2528-2540页

作者：赵磊王丽娜高东明张震宇熊作婷武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 中国科学院软件研究所计算机科学国家重点实验室北京100190

基于覆盖率的错误定位(Coverage Based Fault Localization,CBFL)方法旨在通过分析程序执行的结果预测错误信息,是一种行之有效的错误定位方法.然而,CBFL方法中代码覆盖率的独立统计忽略了程序内存在的复杂控制依赖和数据依赖,从而忽视... 详细信息

基于覆盖率的错误定位(Coverage Based Fault Localization,CBFL)方法旨在通过分析程序执行的结果预测错误信息,是一种行之有效的错误定位方法.然而,CBFL方法中代码覆盖率的独立统计忽略了程序内存在的复杂控制依赖和数据依赖,从而忽视了语句间的语义关系,影响错误定位的准确性.该文借助实例重点分析了基于代码覆盖率所得到的错误可疑度与错误代码的表现关系,指出现有CBFL方法的不足是片面地将基于覆盖率的错误可疑度直接作为错误代码判定的依据;提出程序失效规则及基于覆盖向量的覆盖信息分析模型,并在此模型基础之上,指出高可疑代码与错误代码在执行路径上的覆盖一致性,进而提出用以挖掘与高可疑代码相关联的错误代码的频繁集求解方法.以SIR基准程序为实验对象建立的受控实验结果表明,相比之前的研究,文中方法在一定程度上能够改进错误定位结果.

关键词：软件调试错误定位关联挖掘覆盖向量频繁集

来源：评论

学校读者我要写书评

暂无评论

一种基于模型共享的半监督多标签图像学习法

引用

系统仿真学报 2012年第9期24卷 1826-1830页

作者：张大鹏闻佳刘曦燕山大学信息科学与工程学院秦皇岛066004 桂林电子科技大学广西可信软件重点实验室桂林541004 中国科学院计算技术研究所智能信息处理重点实验室北京100190

提出一种快速且有效的半监督多标签学习方法:模型共享半监督推举。该方法能发现、共享并组合多个基模型,每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享,标签关联被显示地利用且对于每个标签来说只需... 详细信息

提出一种快速且有效的半监督多标签学习方法:模型共享半监督推举。该方法能发现、共享并组合多个基模型,每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享,标签关联被显示地利用且对于每个标签来说只需要少量的基模型即可生成最后的决策结果。在Corel5k和Mediamill数据集上评估方法,实验结果显示的方法与当前流行的监督和半监督多标签学习方法是可比的。

关键词：模型共享半监督学习推举半监督支持向量机多标签图像

来源：评论

学校读者我要写书评

暂无评论

基于抽象解释的不变式验证

基于抽象解释的不变式验证

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：钱俊彦郭云川赵岭忠蔡国永国防科学技术大学计算机学院博士后流动站湖南长沙 410073 中国科学院信息工程研究所北京 100093 桂林电子科技大学广西可信软件重点实验室广西桂林 541004

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中... 详细信息

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中通过前向或逆向转换求解抽象不动点,并采用widening和narrowing 操作加速收敛,从而完成不变式的自动验证。(2)通过Tableau 方法构造所验证时态公式的谓词图,采用状态前向或逆向转换,改进了不变式验证的规则,并基于抽象解释框架,通过模拟构造抽象状态转换系统,给出了不变式验证的抽象规则。

关键词：抽象解释不动点不变式验证可达性模拟

来源：评论

学校读者我要写书评

暂无评论

可判定的时序动态描述逻辑

引用

软件学报 2011年第7期22卷 1524-1537页

作者：常亮史忠植古天龙王晓峰桂林电子科技大学广西可信软件重点实验室广西桂林541004 中国科学院计算技术研究所智能信息处理重点实验室北京100190

动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维... 详细信息

动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持.

关键词：动态描述逻辑分支时序逻辑知识表示和推理动作理论 Tableau判定算法

来源：评论

学校读者我要写书评

暂无评论

从交互情景出发的需求捕获方法及其支撑工具

引用

计算机学报 2011年第2期34卷 329-341页

作者：陈小红尹斌金芝华东师范大学上海市高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交... 详细信息

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

关键词：需求捕获情景问题领域问题框架方法

来源：评论

学校读者我要写书评

暂无评论

一种基于模型共享的半监督多标签图像学习法

一种基于模型共享的半监督多标签图像学习法

引用

第十二届中国虚拟现实大会

作者： ZHANG Da-peng 张大鹏 WEN Jia 闻佳 LIU Xi 刘曦 Institute of Information Science and Engineering Yanshan University Qinhuangdao 066004 China Guan 燕山大学信息科学与工程学院秦皇岛 066004 桂林电子科技大学广西可信软件重点实验室桂林 541004 Institute of Information Science and Engineering Yanshan University Qinhuangdao 066004 China 燕山大学信息科学与工程学院秦皇岛 066004 The Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese 中国科学院计算技术研究所智能信息处理重点实验室北京 100190

提出一种快速且有效的半监督多标签学习方法：模型共享半监督推举。该方法能发现、共享并组合多个基模型，每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享，标签关联被显示地利用且对于每个标签来说只... 详细信息

提出一种快速且有效的半监督多标签学习方法：模型共享半监督推举。该方法能发现、共享并组合多个基模型，每个基模型是在某个标签上利用半监督支持向量机(S3VM)上学习的。通过使用模型共享，标签关联被显示地利用且对于每个标签来说只需要少量的基模型即可生成最后的决策结果。在Core15k和Mediamill数据集上评估方法，实验结果显示的方法与当前流行的监督和半监督多标签学习方法是可比的。

关键词：信息处理半监督多标签学习算法模型共享支持向量机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：