論文元數(shù)據(jù)搜索，找到相關(guān)信息共 1 條：
2000, 22(1): 73-77.
刊出日期：2000-01-19
關(guān)鍵詞:
認(rèn)證協(xié)議; BAN邏輯
本文指出了W.Mao(1995)對其協(xié)議(1)的證明中存在的錯誤,并對其在協(xié)議理想化過程中提出的N-u規(guī)則作了探討,指出其擴(kuò)展N-u的三條規(guī)則的缺陷,并作了改進(jìn),最后,給出一個例子說明N-u規(guī)則的應(yīng)用。
