论文部分内容阅读
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行了比较.
基于串空间的KryptoKnight协议分析及与逻辑化方法的比较
【摘 要】
：
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行
【机 构】
：
郑州信息工程大学
【出 处】
：
微计算机信息
【发表日期】
：
2005年12X期
其他文献
本文通过对OA办公系统在疾病预防控制中心应用的必要性进行分析,探究了OA办公自动化系统运行特点,并提出了OA办公自动化系统在疾病预防控制中心信息化建设中的具体应用。
本文介绍了DSP56803芯片作为控制单元在变频变压电源设计中的应用.重点说明SPWM驱动信号的生成、输出正弦电压信号频率的开环调节和幅度的闭环调节.通过实验电路试运行,使用