论文部分内容阅读
类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。
类BAN逻辑缺陷的进一步分析
【摘 要】
：
类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。
【机 构】
：
贵州大学理学院
【出 处】
：
科技信息
【发表日期】
：
2012年18期
其他文献
近年来，区域贸易协定不断兴起，而WTO的多边贸易谈判却陷入困境，多哈回合一直没有实质性进展，由此原先一直存在的“区域主义是否会阻碍多边贸易自由化”的问题更受瞩目。本文探讨
随着信息技术的发展,高等师范院校的教学也随着时代的要求,不断在改革和创新.精品课程建设是这一改革中的亮点和主流.在精品课程建设中既要顾及精品课程精之所在,又要通过精
研究了以天然高分子材料壳聚糖作富集试剂．0．01mol／L EDTA作洗脱剂．火焰原子吸收光谱法简便、快速测定痕量铜的方法．对洗脱剂、富集和洗脱流速、壳聚糖用量等条件进行优化．该方法检
管理过程中的心理效应是管理中很重要的一个问题。着重详尽地阐述了常见的八种心理效应的概念度其特点，并从两个方面列举出在班级管理过程中有重要作用的心理效应的具体形式。
在参阅和分析有关文献的基础上，对现有的曲面简化算法进行分类、分析和比较．为进一步研究提供理论依据．