【摘 要】
：
分析安全协议的执行过程,给出驱动模块（Driving Module,DM）的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度
【机 构】
：
西安邮电大学物联网与两化融合研究院,陕西省信息化工程研究院,西北工业大学计算机学院
论文部分内容阅读
分析安全协议的执行过程,给出驱动模块（Driving Module,DM）的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度和深度完善,能避免状态空间爆炸问题,可用于获得有缺陷安全协议的攻击剧本,并证明无缺陷安全协议的安全性。用该方法分析OtwayRees协议和TLS协议,获得了Otway-Rees协议的攻击剧本,得出了Otway-Rees协议的两个安全改进版本,说明了TLS协议的安全性。
其他文献
针对手机低频高隔离度天线设计要求,研究移动终端四天线系统空间布局、耦合机理及解耦方法,提出一种采用T型地枝组合低频段宽带低互耦的天线设计方法。利用用仿真软件,分析并
设计了一种基于手指动脉波的小型无创血压测量系统。通过光电式脉搏波传感器,采集同一根手指动脉前后两点的脉搏波信号,用微处理器主控通过阈值法提取脉搏波波峰,对比波峰时
给出一种KAZE算法与视觉词典库模型相结合的图像检索算法。利用KAZE算法提取特征点,构造特征描述子,进行预匹配;采用随机抽样一致性算法剔除误匹配点和错误点;通过K均值聚类算法对特征描述子进行聚类,建立视觉词典库模型。将图像特征描述子映射到视觉词典库模型,得到检索结果。实验结果表明,该算法可以检索相同或相似图像,图像检索的平均查准率为55%。