关键词: 串空间, 认证协议, 认证性, 保密性

Abstract: 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 pointed out between the authentication protocols based on the asymmetrical cryptographic system and one based on the symmetrical cryptographic system.

Key words: strand space, authentication protocol, authentication, secrecy