论文部分内容阅读
BAN类逻辑是近年来主要的密码协议分析工具之一，在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上，研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷，指出了BAN类逻辑应该改进的方面以厦今后进一步的研究方向。
BAN类逻辑的进一步研究
【摘 要】
：
BAN类逻辑是近年来主要的密码协议分析工具之一，在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上，研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷，指出了BAN类
【机 构】
：
武汉大学计算机学院,北京邮电大学理学院
【出 处】
：
微计算机信息
【发表日期】
：
2006年06X期
其他文献
本文分析了传统的城市交通监控采用专用网络进行教据传输的不足。介绍了嵌入式web服务器的工作原理。并提出了利用其改造现有的城市交通监控系统的方法。
使用2005~2017年遥感数据研究了全球大气边界层SO2时空分布特征及变化趋势.结果表明:空间分布上SO2呈现空间异质性,大气高SO2柱量值集中在以火山喷发为代表的自然源区域和以
2020年是特殊的一年,也是极不平凡的一年。这一年里,标签印刷人勇于担当,在防疫生产的同时,守望相助、共克时艰,一起迎来了标签印刷行业盛事——2020(第七届)亚洲标签大奖。2
本文介绍了如何应用由德国Analog Microelectronics GmbH公司开发的框架集成电路CAV414和一个简单的低价位的RISC微处理器组成一个可以对电容信号进行数字化修正的处理系统.
该文介绍了CAN总线的基本特点和智能节点数字量及开关量输入输出的设计实现，并给出了软件编制的方法。