文献知网节
  • 记笔记

基于推理结构性的Aydos协议分析

赵燕丽刘欣荣

山东工商学院计算机基础部

摘要:对于分布式网路中的通信协议,是否实现了设计的安全目标是判断其设计成功的关键,利用推理结构性方法可以从理论上证明协议的安全性。利用SVO逻辑对典型协议的分析,发现了协议存在的安全缺陷,并提出相应的改进措施。
  • 专辑:

    理工A(数学物理力学天地生); 电子技术及信息科学

  • 专题:

    互联网技术

  • 分类号:

    TP393.08

  • 手机阅读
    即刻使用手机阅读
    第一步

    扫描二维码下载

    "移动知网-全球学术快报"客户端

    第二步

    打开“全球学术快报”

    点击首页左上角的扫描图标

    第三步

    扫描二维码

    手机同步阅读本篇文献

  • HTML阅读
  • CAJ下载
  • PDF下载

下载手机APP用APP扫此码同步阅读该篇文章

下载:9 页码:896-897 页数:2 大小:189K

相关推荐
  • 相似文献
  • 读者推荐
  • 相关基金文献
  • 关联作者
  • 相关视频