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