互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

一种基于状态扩展的安全协议验证机制


  摘 要:基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,得到协议基本状态,然后进行扩展搜索,考虑基本状态与其他协议运行的关系,形成协议扩展状态。该机制能够有效反映出协议的运行情况,且能够同时对多种安全性质进行验证。

  关键词:安全协议; 自动化验证; 基本搜索; 扩展搜索

  中图分类号:TP309文献标志码:A

  文章编号:1001-3695(2010)06-2327-04

  doi:10.3969/j.issn.10013695.2010.06.095

  Stateextended based verification mechanism for security protocols

  HUANG Qing1, WANG Yadi1, HAN Jihong1, FAN Yudan1, HUANG He2

  (1.School of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004,China; 2.61983 Unit of PLA, Beijing 100840, China)

  Abstract:The tools for cryptographic protocols analysis based on state exploration had the problem of state exploration, among them, the goal binding could deduce the states effectively, but if it couldn’t give the runs of protocol wholly. To solve this problem, this article proposed a state extendedbased verification mechanism, which got the basic states with necessary events through basic search, and then proceeded with extended search in order to get the connections between basic states and the other runs, which formed the extended states. This mechanism can give the runs of protocol effectively, and under which can verified security properties synchronously.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017