类ban逻辑基本模型及缺陷

类ban逻辑是一种用于分析密码协议安全性的逻辑.在分析了ban,at,mb,gny,svo等类ban逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类ban的模型抽象出来，形成一个五元组模型，然后分析该模型的各个要素，并依据该模型对类ban逻辑的缺陷进行分类，最后指出进一步发展类ban逻辑应解决的问题.