By the theoretical analysis and logical proving, the improved Kerberos protocol designed in the thesis has the advantage of higher security and completeness.

• 本文所设计的改进Kerberos协议经过理论分析和逻辑证明，具有较高的安全性和完备性；