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

【文件属性】：

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

文件大小：233KB

文件格式：PDF

更新时间：2022-09-08 19:31:46

逻辑

一种分析和设计认证协议的新逻辑，缪祥华，张云生，本文扩展了BAN逻辑。根据扩展后的BAN逻辑，认证协议的分析和设计可以在同一个逻辑框架中来进行。