论文部分内容阅读
首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中．通过对已实现的远程访问认证方案的分析，证明了上述扩展的有效性和合理性，分析结果表明认证方案达到了预期的安全设计目标．
一种认证方案的形式分析
【摘 要】
：
首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中．通过对已实现的远程访问认证方案的分
【机 构】
：
西安交通大学电子与信息工程学院
【出 处】
：
西安交通大学学报
【发表日期】
：
2001年4期
其他文献
Evaluation of multiorgan protection strategies against ischemic injury in humans is essential to improve quality of life and reduce mortality. Over the past 40
【正】 财政部(94)财工字第42号文就税制改革、外汇管理体制改革后有关企业财务问题的处理做如下规定:
简要回顾了'五四'新文化运动时期文化转型过程,探讨文化冲突对图书馆文化转型的作用,分析了图书馆在文化转型过程中的发展途径,引发出值得借鉴的几点启示.
T regulatory cells (Tregs) play an important role in the induction and maintenance of immunological tolerance to self and alloantigens. Recent findings in exper
在拖拉机牵引试验中,为了实现负荷车测试系统对试验进程的实时监视与控制,针对负荷车通信系统展开研究。提出了一种主机与基于Windows CE操作系统的监视器之间的无线通信方案
我校图书馆是1978年在吉安卫校图书室的基础上建立的,经历了从小到大的发展过程.尤其是近五年来,图书馆的各项工作有了很大的发展,为教学、科研和医疗工作及吉安地区的医药卫
【正】 自从苏联解体以来,我国与独联体各国的贸易日趋活跃,特别是俄罗斯,与我国有三、四千公里长的边境线,中俄边境贸易十分活跃.俄罗斯主要向我国出口原材料商品(钢材、水
以滚动轴承知识为对象，利用集成定义方法(IDEF)的建模技术，借鉴产品模型数据交换标准(STEP)应用协议的开发方法，对知识建模进行了系统的分析，建立了中性知识表征体系，并用人工神经
2018年3月27日，由中国农机工业协会拖拉机分会组织的2018年拖拉机市场与技术创新研讨会在洛阳新区智选假日酒店召开，中国农机工业协会副会长、拖拉机分会会长、中国一拖董事长