一级黄色片免费播放|中国黄色视频播放片|日本三级a|可以直接考播黄片影视免费一级毛片

高級搜索

留言板

尊敬的讀者、作者、審稿人, 關(guān)于本刊的投稿、審稿、編輯和出版的任何問題, 您可以本頁添加留言。我們將盡快給您答復(fù)。謝謝您的支持!

姓名
郵箱
手機號碼
標題
留言內(nèi)容
驗證碼

對BAN邏輯中新鮮子的研究的注記

袁丁,  范平志,  何明星

袁丁, 范平志, 何明星. 對BAN邏輯中新鮮子的研究的注記[J]. 電子與信息學(xué)報, 2002, 24(8): 1131-1133.
引用本文: 袁丁, 范平志, 何明星. 對BAN邏輯中新鮮子的研究的注記[J]. 電子與信息學(xué)報, 2002, 24(8): 1131-1133.
Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.
Citation: Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.

對BAN邏輯中新鮮子的研究的注記

Notes on the investigation of the freshness in BNA logic

  • 摘要: 該文通過一個反例說明,宋榮功等對BAN邏輯中新鮮子的研究中關(guān)于BAN邏輯新鮮子規(guī)則條件過于嚴格,可能把一個安全的協(xié)議分析成不安全的協(xié)議。
    Abstract: In this paper, it is pointed out by a counterexample that the condition of the freshness rule on BAN logic which in the paper The Investigation of the Freshness in BAN Logic written by Song Ronggong, et al. is so strict that it regards possibly a secure protocol as an insecure protocol.
    • HTML全文
  • M. Burrows, M. Abadi, R. Needham, A logic of authentication, ACM Trans. on computer system,1990, 8(1), 18-36.[2]C. Boyd, W. Mao, On a limitations of BAN logic, In Lecture Notes in Computer Science, 765,Berlin, springer-verlag, 1993, 240-247.[3]D.M. Nessett, A critique of Burrows, Abadi and Needham logic. Operating System Review,1990, 24(2), 35-38.[4]L. Gong, R. Needham, R. Yahalom, Reasoning about belief in cryptographic protocol, Proc.,IEEE Symp. Security and Privacy, Oakland, Calif., 1990, 234-248.[5]B. Syverson, Paul, V. Oorschot, On unifying some cryptographic protocol logics, Proc. IEEE Svmp., Security and Privacy, Oakland, Calif., 1994, 14-28.[6]卿斯?jié)h,關(guān)于密碼協(xié)議分析的注記,China Crypt96,vhengzhou,1996,214-219.[7]鄭東,王常杰,王育民,一種BAN邏輯的修正,電子科學(xué)學(xué)刊,2000,22(4),579-584.[8]宋榮功,胡正名,楊義先,對BAN邏輯中新鮮子的研究,電子科學(xué)學(xué)刊,2000,22(3),505-508.
  • 加載中
計量
  • 文章訪問數(shù):  2266
  • HTML全文瀏覽量:  103
  • PDF下載量:  509
  • 被引次數(shù): 0
出版歷程
  • 收稿日期:  2001-02-26
  • 修回日期:  2001-10-15
  • 刊出日期:  2002-08-19

目錄

    /

    返回文章
    返回