会议论文《Kao Chow重复认证协议的串空间模型与分析》探讨了Kao Chow重复认证协议的安全性，通过串空间模型对其进行形式化分析。该研究旨在验证协议在存在恶意攻击时的可靠性与正确性，为分布式系统中的身份认证提供理论支持。文章对协议流程进行了详细建模，并分析了其在不同攻击场景下的表现，具有重要的学术价值和应用意义。
文档为pdf格式，0.29MB，总共5页。
举报
