论文部分内容阅读
类BAN逻辑是一种用于分析密码协议安全性的逻辑。在分析了BAN，AT，MB，GNY，SVO等类BAN逻辑之后，指出这些逻辑的缺陷，包括若干新发现的缺陷，首先把类BAN的模型抽象出来，形成一个五元组模型，然后分析该模型的各个要素，并依据该模型对类BAN逻辑的缺陷进行分类，最后指出进一步发展类BAN逻辑应解决的问题。