论文部分内容阅读
文章定义了基本消息和基件的概念,将不同的基件适当复合后得到了非对称环境下的若干组件,并运用BAN类逻辑对这些组件具有何种安全属性进行了形式化的分析.经分析后得到的具有特殊安全属性的组件,在满足协议需求的同时,从底层开始保证了协议能够达到预期的安全目标,为一种模块化的安全协议设计方法奠定了基础.
非对称环境下安全协议组件的安全属性分析
【摘 要】
：
文章定义了基本消息和基件的概念,将不同的基件适当复合后得到了非对称环境下的若干组件,并运用BAN类逻辑对这些组件具有何种安全属性进行了形式化的分析.经分析后得到的具有
【机 构】
：
信息工程大学信息工程学院
【出 处】
：
第十九届全国信息保密学术会议(IS2009)
【发表日期】
：
2009年期
其他文献
在电子标签中实现安全隐私功能是RFID研究领域需要解决的一项关键技术,本文假设阅读器与电子标签、阅读器与后端数据库之间采用无线通信,这两种信道都是不安全的,在此背景下,
会议
本文从关联理论的视角对汉英旅游翻译作了语用学上的探讨,其研究的着力点在于阐释译者怎样作为交际者,与原语作者和目标读者进行跨文化交际。在最佳关联的引导下,译者发挥其
BLP模型是最早提出的安全模型之一,为在计算机系统中实现多级安全提供了理论基础,受到广泛的关注.论文简单介绍了BLP模型的公理化描述,总结了该模型目前存在的安全缺陷与问题
会议
SET协议是当今最为流行的电子支付协议.本文首先回顾了SET协议的设计背景,介绍了SET协议的角色和工作流程,阐述了SET协议要达到的安全要求.在此基础上指出了SET协议所存在的
为继承和弘扬民族文化,热情歌颂党的改革开放政策,加强社会主义精神文明建设,展示全省
In order to inherit and carry forward the national culture, we warmly glorify
正值喜雨初霁,叶酿新枝,万紫千红时节,由中国石油书法家协会与河南三元企业(集团)有限公司联合主办、郑州三元期货经纪有限公司承办的“三元杯”全国石油书法篆刻大奖赛,于4
请下载后查看，本文暂不支持在线获取查看简介。陆勇作品
Please download to view, this article does not support online access to view profile. Lu Yong works
期刊
本文讨论了现有密码体制在量子计算条件下的安全性,哪些密码体制将被破译,哪些密码体制仍然无法破译,对现有密码体制的替代技术进行初步的需求分析.
【摘 要】在英语学习过程中，阅读能力的提高是非常重要的，在历年的高考中，阅读理解型题目都是考察的重点，并且阅读能力也是“听说读写”四大能力之一，因此，我们在教学的过程中，应该特别重视学生这方面能力的培养。文章作者就这一教学方法的优势、教学模式、课程设计步骤进行了简要分析，并结合具体教学就这一教学方法的应用进行了简要的阐述。 【关键词】任务型教学法；高中英语；阅读教学 【中图分类号】633.4