1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 数据结构与算法

Otway-Rees协议改进及形式化证明Improvementandformalproofon.PDFVIP

  • 12
  • 0
  • 约3.67万字
  • 约 5页
  • 2019-01-22 发布于天津
  • 举报

Otway-Rees协议改进及形式化证明Improvementandformalproofon.PDF

    Otway-Rees协议改进及形式化证明Improvementandformalproofon

    第33 卷第Z1 期 通 信 学 报 Vol.33 No. Z1 2012 年9 月 Journal on Communications September 2012 doi:10.3969/j.issn.1000-436x.2012.z1.033 Otway-Rees 协议改进及形式化证明 1 2 3 鲁来凤 ，段新东 ，马建峰 （1. 陕西师范大学 数学与信息科学学院，陕西西安 710062；2. 南阳理工学院 软件学院，河南南阳 473004 ； 3. 西安电子科技大学 计算机网络与信息安全教育部重点实验室，陕西西

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >