协议分析BAN(Burrows 相关硕士博士期刊学术论文

类BAN逻辑是密码协议分析和设计的主要工具，文章在分析了类BAN逻辑之后，指出了这些逻辑的缺陷，并对类BAN逻辑的缺陷进行分类，最后指出......