摘要
提出了一种改进的W oo-Lam密码协议模型,即eW oo-Lam模型。与W oo-Lam模型相比,新模型具有以下特点:增强了模型中关于密码学原语操作的描述语法,使得对密码协议主体行为的描述更加精确,提高了模型在检测协议攻击方面的能力;引入了匹配运算机制,保障了模型安全性证明的有效性;提出了七条形式化准则,规范了模型的抽象过程;扩充了模型基于状态迁移的形式语义,使其更加精确合理;重新给出了模型安全性的形式定义,使其更具一般性。
An improved Woo-Lain Model for cryptographic protocols, namely eWoo-Lam Model was introduced. Compared with Woo-Lain Model, the new model has such advanced properties as follows: to enhance the syntax of the model for cryptographic primitives, which enables the model to specify the principal actions more precisely and detect the attacks on the protocol more efficiently; to bring in match mechanism, which guarantees the effectiveness for the security analysis of the model; to propose seven formalization principles to normalize the procedure for model abstraction; to extend the state-transition based semantics to make it more rational; to redefine the security properties of the model to make them more generic.
出处
《计算机应用》
CSCD
北大核心
2006年第9期2116-2120,共5页
journal of Computer Applications
关键词
密码协议模型
语法
形式化语义
安全特性
cryptographic protocol models
syntax
formal semantics
security property