一種BAN-邏輯的修正
A MODIFIED BAN-LOGIC
-
摘要: 本文指出了BAN-邏輯推理中存在的邏輯錯(cuò)誤，提出了一種改進(jìn)的BAN-邏輯，它具有精確的語(yǔ)義定義和正確的推理規(guī)則，當(dāng)協(xié)議的初始條件正確時(shí)，邏輯推理的結(jié)論是正確的。
-
關(guān)鍵詞:
- 認(rèn)證協(xié)議; BAN-邏輯
Abstract: This paper points out some flaws in BAN-logic, and presents a modified version of the BAN-logic, which has a sound semantics and correct loigc rules. It is concluded that, if the initial condition is right, the result from this logic is right as well. -
Burrows M,Abadi M,Needham R.A logic of authentication[J].ACM Trans.on Computer Systems.1990,8(1):18-36[2]Boyd C,Mao W.On a limitations of BAN logic.In Lecture Notes in Computer Science 765,Berlin:Springer-Verlag,1993,240-247.[3]Nessett D M.A Critique of Burrows,Abadi and Needham logic[J].Operating Systems Review.1990,24(2):35-38[4]Li Gong,Needham R,Yahalom R.Reasoning about belief in cryptographic protocols.In Pro-ceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy,Oakland,California:1990,234-248.[5]Abadi M,Tuttle M.A semantics for a logic of authentication.In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing,Sanantonio,Texas:ACM Press,August1991,201-216.[6]Syverson P,Van Oorschot P C.On unifying some cryptographic protocol logics.In Proceedings of 1994 IEEE Symposium on Security and Privacy.IEEE Computer Society Press,Okland California:1994,165-177.[7]田建波，徐勝波，王育民．一種改進(jìn)的認(rèn)證邏輯．電子學(xué)報(bào)，1998，26(7)：175-177．[8]鄭東，田建波，王育民．關(guān)于BAN-邏輯的注記．China Crypt98，北京：科學(xué)出版社，1998，123-125． -
計(jì)量
- 文章訪問(wèn)數(shù): 2015
- HTML全文瀏覽量: 92
- PDF下載量: 401
- 被引次數(shù): 0
下載:
