1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究一种分析和设计认证协议的新逻辑 .pdf

论文研究一种分析和设计认证协议的新逻辑 .pdf

上传者: 2020-01-02 16:30:44上传 PDF文件 232.56KB 热度 41次
一种分析和设计认证协议的新逻辑,缪祥华,张云生,本文扩展了BAN逻辑。根据扩展后的BAN逻辑,认证协议的分析和设计可以在同一个逻辑框架中来进行。
下载地址
用户评论