Secondly, the thesis advances the improved Kerberos protocol, which is applied more widely in security, and proves its availability and completeness using BAN logical theory.

• 然后，基于公钥体制的加密技术对Kerberos协议进行了改进，设计出安全性更高、适应性更广的身份认证协议，并采用BAN逻辑理论证明了改进协议的完备性、有效性。