论文部分内容阅读
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行了比较.
基于串空间的KryptoKnight协议分析及与逻辑化方法的比较
【摘 要】
：
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行
【机 构】
：
郑州信息工程大学
【出 处】
：
微计算机信息
【发表日期】
：
2005年12X期
其他文献
文章主要论述了企业文化具有的经济功能，认为企业文化具有导向、凝聚、约束、激励、协调等管理功能；具有别具一格，共同愿景等营销功能。论述了企业文化通过构筑企业的核心专长，从
本文通过对OA办公系统在疾病预防控制中心应用的必要性进行分析,探究了OA办公自动化系统运行特点,并提出了OA办公自动化系统在疾病预防控制中心信息化建设中的具体应用。
主要研究了点焊镀锌板过程中动态电阻和电极位移的变化趋势及与其对应关系，结果表明，动态电阻、电极位移与焊接过程中存在着直接和间接的关系。同时也研究了在同一焊接工艺参数
本文介绍了DSP56803芯片作为控制单元在变频变压电源设计中的应用.重点说明SPWM驱动信号的生成、输出正弦电压信号频率的开环调节和幅度的闭环调节.通过实验电路试运行,使用
介绍了离线和在线测试中,利用端口特征分析实现故障的快速定位的基本原理及其实现方法。
采用汉诺威弧焊质量分析仪采集埋弧焊焊接过程的电信号,并与药芯焊丝CO2气体保护焊的电信号进行对比,分析其焊接过程中熔滴过渡的特性。结果可知,焊接过程中实际的电弧电压、