%0 Journal Article
%T Formal analysis technology of non-repudiation protocols<br>非否认协议形式化分析技术
%A FAN Yu-dan
%A HAN Ji-hong
%A WANG Ya-di
%A ZHAO Yu
%A <br>范钰丹
%A 韩继红
%A 王亚弟
%A 赵宇
%J 计算机应用
%D 2006
%I 
%X 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.
%K non-repudiation protocol
%K formal analysis
%K fairness<br>非否认协议
%K 形式化分析
%K 公平性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=2C8DAB454C93AFCC&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=708DD6B15D2464E8&sid=960FAAFDFF4DC10B&eid=6D324E2981A4CD88&journal_id=1001-9081&journal_name=计算机应用&referenced_num=1&reference_num=16