Kao Chow重复认证协议的串空间模型与分析

摘要

Kao Chow 是一种有效安全密码协议，Kao Chow协议已经被BAN逻辑、串空间等方法进行了分析。但仅仅分析Kao Chow重复认证协议简单版的初始认证阶段。本文首先提出了一种新的因果关系(≠)，重新定义了串空间、丛的定义，并描述了协议的重复认证性与重复保密性;其次得到Kao Chow重复认证协议的串空间模型;最后证明Kao Chow重复认证协议的保密性和认证性。分析结果证明，在目前的攻击者模型中，Kao Chow重复认证协议是安全的。