Design and Formal Analysis of Secrecy in the Non-repudiation Protocol
非否认协议中认证保密性的设计与形式化分析

On the basis of discussing the secrecy goals of non-repudiation protocol,the papar validateed the shortages of A(0)protocol by the means of aggressing,revamped the affirmance fashion of its information format and conversation encrypting keys,and lodged NA(0)protocol.Then the NA(0)protocol was analysed formally by SVO logic,and it was validated fulfilling the authentication of main identity and secrecy of conversation.