Some kinds of present formal methods of non-repudiation protocols were studied and compared. Their advantages and disadvantages were discussed. Finally, study for future development was suggested.

• 摘要对目前现有的非否认协议的几种形式化分析方法进行了分析和比较，指出了它们的优缺点，最后提出了进一步的研究方向。