会议论文《公钥Kerberos协议的认证服务过程的建模与验证》探讨了基于公钥加密的Kerberos协议在认证服务过程中的安全性。作者通过形式化方法对协议进行建模，并利用验证工具分析其正确性与抗攻击能力。研究旨在提升传统Kerberos协议的安全性，防止中间人攻击和密钥泄露等问题。该文为网络安全领域的协议设计与验证提供了理论支持和技术参考。
文档为pdf格式，0.37MB，总共5页。
举报
