%0 Journal Article
%T Design and Formal Analysis of Secrecy in the Non-repudiation Protocol<br>非否认协议中认证保密性的设计与形式化分析
%A ZHANG Hong
%A <br>张虹
%J 计算机科学
%D 2008
%I 
%X On the basis of discussing the secrecy goals of non-repudiation protocol,the papar validateed the shortages of A(0)protocol by the means of aggressing,revamped the affirmance fashion of its information format and conversation encrypting keys,and lodged NA(0)protocol.Then the NA(0)protocol was analysed formally by SVO logic,and it was validated fulfilling the authentication of main identity and secrecy of conversation.
%K Non-repudiation protocol
%K Secrecy
%K Formal analysis
%K SVO Logic<br>非否认协议
%K 认证保密性
%K 形式化分析
%K SVO逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9879668E20A40AF214C8CE1B847ABFA2&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=F3090AE9B60B7ED1&sid=B0EBA60720995721&eid=E22B6B8FE86DD8F9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7