中文摘要：

基于串空间模型的极小元和理想理论，对网络管理中的一种互认证密码协议进行保密性和认证性分析，通过分析发现该协议存在冗余部分，并提出相应的改进方案；同时在协议的认证性设计方面，指出基于非对称密码系统和对称密码系统的认证协议的区别。

英文摘要：

Based on the minimal members theory and ideals theory of strand space model, from the authentication and secret aspects, formal analysis is carried on to a mutual-authentication cryptographic protocol which is used in network management, and through the analysis the redundancy which exists in the protocol is discovered and the corresponding improvement is proposed. Meanwhile in the aspect of authentication design to a protocol, the difference is pointad out between the authentication protocols based on the asymmetrical cryptographic system and one based on the symmetrical cryptographic system.