安全协议设计与分析

收藏
  • 【作者】张文政 [等]编著
  • 【关键词】计算机网络 安全技术 通信协议 研究
  • 【出版社】国防工业出版社
  • 【出版日期】2015
  • 【ISBN】978-7-118-10339-7
  • 【中图分类号】 TP393.08
  • 【内容简介】本书主要介绍安全协议设计准则与分析方法,其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等,同时给出了利用各种方法分析安全协议的具体实例。全部展开
  • 【页码】22,202页
  • 【丛书名】网络与信息安全前沿技术丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 温州市图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。