一种改进的woo-lam密码协议模型

？提出了一种改进的woo-lam密码协议模型，即ewoo-lam模型。与woo-lam模型相比，新模型具有以下特点：增强了模型中关于密码学原语操作的描述语法，使得对密码协议主体行为的描述更加精确，提高了模型在检测协议攻击方面的能力；引入了匹配运算机制，保障了模型安全性证明的有效性；提出了七条形式化准则，规范了模型的抽象过程；扩充了模型基于状态迁移的形式语义，使其更加精确合理；重新给出了模型安全性的形式定义，使其更具一般性。