认证协议设计逻辑的语义 (2006年)

【文件属性】：

文件名称：认证协议设计逻辑的语义 (2006年)

文件大小：228KB

文件格式：PDF

更新时间：2024-06-10 21:33:03

工程技术 论文

Levente Buttyan等人提出了一种认证协议设计的简单逻辑，协议设计者可以使用该逻辑，用一种系统的方法来构造认证协议。该文把简单逻辑和串空间（Strand Space）模型结合起来，给出了简单逻辑的串空间语义，然后运用该语义证明了简单逻辑的推理规则是正确的。