%0 Journal Article
%T A New Non-Repudiation Protocol<br>一种新型的非否认协议
%A QING Si-han
%A <br>卿斯汉
%J 软件学报
%D 2000
%I 
%X In this paper, a new non-repudiation protocol is presented based on the correct ion of an existing protocol which has some security flaws. This scheme can work on an insecure and unreliable communication channel. Besides, it can deal with c heating. Some new notions and approaches for extending the SVO logic are introdu ced, then the extended SVO logic is used to analyze the new protocol and prove i ts correctness.
%K Non-Repudiation protocol
%K SVO logic
%K trusted third party
%K adjudicator<br>非否认协议
%K SVO逻辑
%K 可信第三方
%K 仲裁方.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=44CF0DE29553C53B&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=F3090AE9B60B7ED1&sid=298DD318DE734E4F&eid=C91D29281694E9C8&journal_id=1000-9825&journal_name=软件学报&referenced_num=19&reference_num=7