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

中兴通讯技术 2012年第4期18卷 59-62页

作者：姚文斌北京邮电大学计算机学院可信分布式计算与服务教育部重点实验室北京100876

随着信息技术的发展和网络应用拓展,可信计算已经成为当前学术界和工业界的研究热点。本讲座将分3期对可信计算的内涵、关键技术和未来进行讨论:第1讲从可信计算的演进过程简单叙述可信计算技术发展历程、可信计算的定义和范畴、相关研... 详细信息

随着信息技术的发展和网络应用拓展,可信计算已经成为当前学术界和工业界的研究热点。本讲座将分3期对可信计算的内涵、关键技术和未来进行讨论:第1讲从可信计算的演进过程简单叙述可信计算技术发展历程、可信计算的定义和范畴、相关研究领域;第2讲从技术的角度探讨可信计算研究的系统架构、主要关键技术及其当前研究的热点问题;第3讲介绍可信计算的应用模式和未来。

关键词：可信计算信息技术计算技术演进过程工业界学术界应用网络

来源：评论

学校读者我要写书评

暂无评论

可信计算(2)

引用

中兴通讯技术 2012年第5期18卷 56-59页

作者：姚文斌北京邮电大学计算机学院可信分布式计算与服务教育部重点实验室北京100876

关键词：可信计算信息技术计算技术演进过程工业界学术界应用网络

来源：评论

学校读者我要写书评

暂无评论

一种成本相关的云提供商高可靠性保证算法

一种成本相关的云提供商高可靠性保证算法

引用

第27次全国计算机安全学术交流会

作者：钟睿明刘川意方滨兴项菲北京邮电大学计算机学院北京邮电大学可信分布式计算与服务教育部重点实验室北京邮电大学软件学院

文章提出了一种"富云"的数据容灾模型,即通过在云提供商之间相互进行数据备份和容灾,从而节省构建远程容灾中心的成本,并在此基础上设计了一种成本相关的云计算服务高可靠性保证算法CAHRPA,其根据数据恢复时间和容灾费用选择... 详细信息

文章提出了一种"富云"的数据容灾模型,即通过在云提供商之间相互进行数据备份和容灾,从而节省构建远程容灾中心的成本,并在此基础上设计了一种成本相关的云计算服务高可靠性保证算法CAHRPA,其根据数据恢复时间和容灾费用选择合适的容灾方案。实验结果证明,CAHRPA能够在满足数据恢复时间的同时选取一种成本最优的数据备份策略。

关键词：云计算可靠性容灾

来源：评论

学校读者我要写书评

暂无评论

自动高效的网络安全评估方法

引用

计算机科学与探索 2012年第8期6卷 698-707页

作者：王春露王彦丞北京邮电大学计算机学院北京100876 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 中国工商银行数据中心网络部北京100096

网络安全评估是提高网络安全性的基本步骤之一。目前的评估方法通常需要手工操作,带来较大的评估开销,很难应用到大规模复杂网络,无法快速响应用户请求。提出了一种高效的自动化评估方法来解决这些问题。为了实现评估的自动化,对多个弱... 详细信息

网络安全评估是提高网络安全性的基本步骤之一。目前的评估方法通常需要手工操作,带来较大的评估开销,很难应用到大规模复杂网络,无法快速响应用户请求。提出了一种高效的自动化评估方法来解决这些问题。为了实现评估的自动化,对多个弱点资源(如NVD、Bugtraq等)的脆弱性信息进行分析,将它们关联起来,形成一个包含40000多个已知弱点的大型综合弱点数据库。为了提高评估效率,利用"原子域"的概念,提出了一种新的攻击图生成方法,相比于传统的方法,大大减少了攻击图生成开销。构建贝叶斯评估模型,基于变量消元,提出了一种新的评估方法,简化了模型中的贝叶斯推理。由于能自动化部署贝叶斯攻击图概率信息,新方法能实现评估的自动化,并且可以应用到大规模网络,快速完成评估任务,还可为网络管理员提供量化判断依据,以快速应对大型复杂网络中不断变化的安全态势。

关键词：安全评估变量消元贝叶斯网量化评估

来源：评论

学校读者我要写书评

暂无评论

基于语义验证的可视化BPR建模工具

引用

现代电子技术 2012年第24期35卷 24-28页

作者：韩强北方民族大学计算机科学与工程学院宁夏银川750021 北京邮电大学计算机学院北京100876 可信分布式计算与服务教育部重点实验室(北京邮电大学) 北京100876

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出... 详细信息

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。

关键词：业务流程重组语义验证可视化建模工具随机Petri Net

来源：评论

学校读者我要写书评

暂无评论

构件化业务流程重组应用服务器可信属性建模方法研究

引用

现代电子技术 2012年第22期35卷 46-50页

作者：韩强北方民族大学计算机科学与工程学院宁夏银川750021 北京邮电大学计算机学院北京100876 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876

针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型... 详细信息

针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型,进一步对其支撑的业务流程应用软件可信属性建模,提出多种可信范式,为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。

关键词：业务流程重组应用服务器可信属性建模方法

来源：评论

学校读者我要写书评

暂无评论

一种成本相关的云提供商高可靠性保证算法

一种成本相关的云提供商高可靠性保证算法

引用

第27次全国计算机安全学术交流会

作者： ZHONG Rui-ming 钟睿明 LIU Chuan-yi 刘川意 FANG Bin-xing 方滨兴 XIANG Fei 项菲 School of Computer Science Beijing University of Posts and TelecommunicationsBeijing100876China K 北京邮电大学计算机学院北京100876 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 Key Laboratory of Trustworthy Distributed Computing and Service of the Ministry of Education of Chin 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 北京邮电大学软件学院北京100876

文章提出了一种“富云”的数据容灾模型,即通过在云提供商之间相互进行数据备份和容灾,从而节省构建远程容灾中心的成本,并在此基础上设计了一种成本相关的云计算服务高可靠性保证算法CAHRPA,其根据数据恢复时间和容灾费用选择合适的容... 详细信息

文章提出了一种“富云”的数据容灾模型,即通过在云提供商之间相互进行数据备份和容灾,从而节省构建远程容灾中心的成本,并在此基础上设计了一种成本相关的云计算服务高可靠性保证算法CAHRPA,其根据数据恢复时间和容灾费用选择合适的容灾方案。实验结果证明,CAHRPA能够在满足数据恢复时间的同时选取一种成本最优的数据备份策略。

关键词：云计算云提供商可靠性算法数据容灾模型

来源：评论

学校读者我要写书评

暂无评论

自动高效的网络安全评估方法

自动高效的网络安全评估方法

引用

第29届中国数据库学术会议

作者： WANG Chunlu 王春露 WANG Yancheng 王彦丞 School of Computer Science and Technology Beijing University of Posts and Telecommunications Beiji 北京邮电大学计算机学院北京100876 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 Department of Network Data Center of Industrial and Commercial Bank of China Beijing 100096 China 中国工商银行数据中心网络部北京100096

网络安全评估是提高网络安全性的基本步骤之一。目前的评估方法通常需要手工操作，带来较大的评估开销，很难应用到大规模复杂网络，无法快速响应用户请求。提出了一种高效的自动化评估方法来解决这些问题。为了实现评估的自动化，对多... 详细信息

网络安全评估是提高网络安全性的基本步骤之一。目前的评估方法通常需要手工操作，带来较大的评估开销，很难应用到大规模复杂网络，无法快速响应用户请求。提出了一种高效的自动化评估方法来解决这些问题。为了实现评估的自动化，对多个弱点资源(如NVD、Bugtraq等)的脆弱性信息进行分析，将它们关联起来，形成一个包含40 000多个已知弱点的大型综合弱点数据库。为了提高评估效率，利用“原子域”的概念，提出了一种新的攻击图生成方法，相比于传统的方法，大大减少了攻击图生成开销。构建贝叶斯评估模型，基于变量消元，提出了一种新的评估方法，简化了模型中的贝叶斯推理。由于能自动化部署贝叶斯攻击图概率信息，新方法能实现评估的自动化，并且可以应用到大规模网络，快速完成评估任务，还可为网络管理员提供量化判断依据，以快速应对大型复杂网络中不断变化的安全态势。

关键词：计算机网络安全评估变量消元法贝叶斯网性能优化

来源：评论

学校读者我要写书评

暂无评论

扩展角色的密文数据访问控制模型

引用

北京邮电大学学报 2011年第5期34卷 19-24页

作者：彭维平周亚建平源宋成王枞杨义先北京邮电大学信息安全中心北京100876 河南理工大学计算机科学与技术学院河南焦作454003 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 中国电子科技集团公司第二十九研究所电子信息控制重点实验室成都610036

提出了一种将分级密钥授权融入角色管理的密文数据访问控制(KRBAC)模型,并基于该模型提出了一种元素级的细粒度数据保护方案.KRBAC模型通过划分独立的密钥控制域,将传统的角色扩展为由角色、角色控制域和密钥控制域构成的具有偏序集继... 详细信息

提出了一种将分级密钥授权融入角色管理的密文数据访问控制(KRBAC)模型,并基于该模型提出了一种元素级的细粒度数据保护方案.KRBAC模型通过划分独立的密钥控制域,将传统的角色扩展为由角色、角色控制域和密钥控制域构成的具有偏序集继承关系和安全约束性质的三元组;在密钥分级的基础上,通过主密钥及数据的特征信息产生元素级的加解密密钥.分析结果表明,该模型能减少角色数量,降低访问控制的复杂度,提高权限分配的合理性,并能为细粒度的数据保护提供安全基础.

关键词：扩展角色访问控制模型授权管理密文数据库

来源：评论

学校读者我要写书评

暂无评论

基于MPDP上下文的Android浏览器网络切换策略的设计与实现

基于MPDP上下文的Android浏览器网络切换策略的设计与实现

引用

2011年全国电子信息技术与应用学术会议

作者：王博宋茂强可信分布式计算与服务教育部重点实验室(筹)北京邮电大学软件学院

Android作为新兴的智能手机操作系统,其浏览器应用亦在不断完善。本文以中国移动的访问接入点为例,论述如何利用MPDP上下文,在多路移动数据连接的环境下,通过扩展、修改浏览器应用源码,实现其自动切换移动网络访问接入点的功能,使其可... 详细信息

Android作为新兴的智能手机操作系统,其浏览器应用亦在不断完善。本文以中国移动的访问接入点为例,论述如何利用MPDP上下文,在多路移动数据连接的环境下,通过扩展、修改浏览器应用源码,实现其自动切换移动网络访问接入点的功能,使其可以根据实际的具体需求,灵活、自主的切换接入网络。

关键词： Android MPDP 浏览器接入点中国移动

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：