|
计算机应用 2006
Formal analysis technology of non-repudiation protocols
|
Abstract:
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.