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

2010年第四届中国可信计算与信息安全学术会议

作者：邓少锋邓帆张文政李益发信息工程大学信息工程学院郑州市俭学街7号450002 成都市现代通信国家重点实验室成都市创业路6号610041

基于CPK提出了两个安全的单轮组群密钥传输协议,且基于双因素认证--智能卡和口令.第一个协议使用中国剩余定理(CRT)隐蔽临时密钥,在CDH假设下可证安全;第二个协议使用秘密随机数矩阵(SRM)来组合生成临时密钥,并给出了SRM的安全更新方案... 详细信息

基于CPK提出了两个安全的单轮组群密钥传输协议,且基于双因素认证--智能卡和口令.第一个协议使用中国剩余定理(CRT)隐蔽临时密钥,在CDH假设下可证安全;第二个协议使用秘密随机数矩阵(SRM)来组合生成临时密钥,并给出了SRM的安全更新方案.两个协议均具有较低的计算量和较高的应用价值.

关键词：组合公钥密码体制组群密钥传输协议双因素认证中国剩余定理

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的软件安全性验证方法

基于模型检测的软件安全性验证方法

引用

2010年第四届中国可信计算与信息安全学术会议

作者：王曦徐中伟梅萌同济大学电子与信息工程学院上海201804

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree arialysis)与LTS(labeled transition systems)模型检测的安伞性验证方法验证安全苛求软件系统的安全性,并... 详细信息

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree arialysis)与LTS(labeled transition systems)模型检测的安伞性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.

关键词：故障树分析模型检测安全苛求系统安全性验证

来源：评论

学校读者我要写书评

暂无评论

标准模型下一种无证书签名方案的密码学分析和改进

标准模型下一种无证书签名方案的密码学分析和改进

引用

2010年第四届中国可信计算与信息安全学术会议

作者：胡国政韩兰胜王展青武汉理工大学理学院武汉 430070 华中科技大学计算机学院武汉 430074

对第一个在标准模型下可证安全的无证书签名方案和它的一个改进方案进行密码学分析,提出了一种新的密码生成中心(KGC)攻击,即通用恶意KGC攻击.在这种攻击下,恶意KGC在系统参数生成阶段生成包含陷门信息的系统参数.利用这些参数,KCC不需... 详细信息

对第一个在标准模型下可证安全的无证书签名方案和它的一个改进方案进行密码学分析,提出了一种新的密码生成中心(KGC)攻击,即通用恶意KGC攻击.在这种攻击下,恶意KGC在系统参数生成阶段生成包含陷门信息的系统参数.利用这些参数,KCC不需要计算出用户的私钥就可以冒充任意系统用户对任意消息进行伪造签名.给出了攻击方法,并提出了改进方案以防范这种攻击.

关键词：无证书签名恶意KGC攻击公钥替换攻击双线性对密码学

来源：评论

学校读者我要写书评

暂无评论

第一届中国可信计算理论与实践学术会议在京召开

引用

信息安全与通信保密 2009年第11期31卷 6-6页

10月17日至18日，由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京正式召开。据悉，该会议是目前我国在可信计算领域里较高规格的一次盛会，而它也为加强我国可信计算学... 详细信息

10月17日至18日，由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京正式召开。据悉，该会议是目前我国在可信计算领域里较高规格的一次盛会，而它也为加强我国可信计算学术界和产业界的交流、促进我国可信计算理论研究及产业发展提供了一个良好的平台。

关键词：计算理论学术会议中国可信计算工作组学术界产业

来源：评论

学校读者我要写书评

暂无评论

第一届中国可信计算理论与实践学术会议聚焦标准化与产业实践

引用

信息技术与标准化 2009年第11期 12-12页

作者：胡欣《信息技术与标准化》编辑部

2009年10月1 7～18日,由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京召开。会议由中国密码学会秘书长强志军主持,工信部电子信息司侯建仁处长致辞。他指出,目前国内信... 详细信息

2009年10月1 7～18日,由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京召开。会议由中国密码学会秘书长强志军主持,工信部电子信息司侯建仁处长致辞。他指出,目前国内信息安全防护能力处于低级阶段,需加强基础理论研究。可信计算理论以密码技术为基础,是信息安全技术新的发展阶段。

关键词：计算理论学术会议中国标准化密码技术产业聚焦安全防护能力

来源：评论

学校读者我要写书评

暂无评论

第一届中国可信计算理论与实践学术会议在京召开

引用

网络安全技术与应用 2009年第11期 79-79页

近日，由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京正式召开。该会议是目前我国在可信计算领域里较高规格的一次盛会，而它也为加强我国可信计算学术界和产业界的交... 详细信息

近日，由中国密码学会主办、中国可信计算工作组和国民技术股份有限公司协办的第一届中国可信计算理论与实践学术会议在京正式召开。该会议是目前我国在可信计算领域里较高规格的一次盛会，而它也为加强我国可信计算学术界和产业界的交流、促进我国可信计算理论研究及产业发展提供了一个良好的平台。本次会议的讨论重点集中在可信计算理论和实践方面的前沿进展上，

关键词：计算理论学术会议中国可信计算工作组学术界产业

来源：评论

学校读者我要写书评

暂无评论

基于Kademlia的P2P云存储系统研究

基于Kademlia的P2P云存储系统研究

引用

第一届全国服务计算学术会议

作者：吴吉义傅建庆陈德人平玲娣谢琪浙江大学计算机科学与技术学院，浙江杭州 310027 杭州师范大学杭州市电子商务与信息安全重点实验室，浙江杭州 310036 浙江大学计算机科学与技术学院，浙江杭州 310027 浙江大学计算机科学与技术学院，浙江杭州 310027 浙江大学电子服务研究中心，浙江杭州 310027 杭州师范大学杭州市电子商务与信息安全重点实验室，浙江杭州 310036 英国伯明翰大学计算机学院，英国伯明翰 B15 2TT

云存储是分布式存储技术与虚拟化技术结合的产物，是分布式存储技术的最新发展。云存储意味着存储可以作为一种服务，通过互联网提供给用户．相时于当前各种C／S计算模式的***，Sector等云存储文件系统，提出了一种基于对等计算模式的... 详细信息

云存储是分布式存储技术与虚拟化技术结合的产物，是分布式存储技术的最新发展。云存储意味着存储可以作为一种服务，通过互联网提供给用户．相时于当前各种C／S计算模式的***，Sector等云存储文件系统，提出了一种基于对等计算模式的云存储文件系统通用模型,并采用Kademlia算法构建了原型系统***能提供基本的数据存储、读取、删除、搜索等存储服务功能并突出了系统中数据的安全性与可靠性．仿真实验结果表明，MingCloud系统具有较高的可用性和性能，系统通过改进和优化后能实际应用于互联网动态开放环境，并为用户提供较高质量的云存储服务．

关键词：云计算分布式存储技术 P2P云存储系统

来源：评论

学校读者我要写书评

暂无评论

基于面向方面技术的服务安全组合及故障分析

基于面向方面技术的服务安全组合及故障分析

引用

第一届全国服务计算学术会议

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系，上海 200237 上海市计算机软件评测重点实验室上海201112 华东理工大学计算机科学与工程系，上海 200237 上海应用技术学院计算机科学与信息工程系，上海，200235

服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安... 详细信息

服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安全组合建模及其分析方法。重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务组合模型。基于此，Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力，给出服务组合的正确性准则。并证明了其有效性。具体实例及仿真结果表明，该方法能有效地简化系统建摸，有助于提高服务组合的设计质量。

关键词： Web服务面向方面技术 Petri网安全性故障处理能力

来源：评论

学校读者我要写书评

暂无评论

第三届中国可信计算与信息安全学术会议将在郑州召开

引用

武汉大学学报（信息科学版） 2008年第10期33卷 1099-1099页

作者：张焕国

第三届中国可信计算与信息安全学术会议将于今年10月在郑州召开。回忆往事，从2004年的第一届会议到今年的第三届会议。中国可信计算与信息安全学术会议已经走过5年的成长和发展历程。它为增进我国可信计算与信息安全领域的学术交流，... 详细信息

第三届中国可信计算与信息安全学术会议将于今年10月在郑州召开。回忆往事，从2004年的第一届会议到今年的第三届会议。中国可信计算与信息安全学术会议已经走过5年的成长和发展历程。它为增进我国可信计算与信息安全领域的学术交流，繁荣科学研究，推动技术进步和产业发展，发挥了重要的作用。它得到了我国可信计算与信息安全领域的广大科技工作者、研究生和用户的厚爱，成为国内的一个品牌学术会议。

关键词：学术会议信息安全可信计算中国郑州科技工作者学术交流科学研究

来源：评论

学校读者我要写书评

暂无评论

可信网络连接研究

可信网络连接研究

引用

第一届中国可信计算理论与实践学术会议

作者： Zhang-Huanguo 张焕国 Chen-Lu 陈璐 Zhang-Liqiang 张立强空天信息安全与可信计算教育部重点实验室 Computer School of Wuhan UniversityKey Lab of Aerospace Information Security and Trusted ComputingState Key Lab of Software Engineering 武汉大学计算机学院武汉大学软件工程重点实验室

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络... 详细信息

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络连接技术未来的发展趋势进行了展望。

关键词：计算机网络安全可信网络连接可信计算组织系统架构工作流程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：