摘要
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。
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.
出处
《计算机应用》
CSCD
北大核心
2006年第11期2610-2614,共5页
journal of Computer Applications
关键词
非否认协议
形式化分析
公平性
non-repudiation protocol
formal analysis, fairness
