對BAN邏輯中新鮮子的研究
THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC
-
摘要: 本文從BAN邏輯的基本結(jié)構(gòu)和基本規(guī)則出發(fā),對BAN邏輯中的新鮮子進(jìn)行了分析研究,指出BAN邏輯在實際應(yīng)用中不穩(wěn)固的某些本質(zhì)原因并不是理想化問題,而是原基本規(guī)則中存在的某些問題所致,并進(jìn)一步對此進(jìn)行了相應(yīng)的改進(jìn),使得BAN邏輯更趨于穩(wěn)固和完善。
-
關(guān)鍵詞:
- 模態(tài)邏輯; BAN邏輯; 新鮮子
Abstract: Based on BAN s basic constructs and rules, the freshness in BAN logic is investigated. In this paper it is presented that some reasons why BAN logic is in practice unsound are not idealization problems, but problems what some basic rules result in. For the latter, a modified method is proposed to avoid similar problems. -
Burrows M，Abadi M，Needham R．A logic of authentication．Technical Report SRC Technical Report 39，Digital Equipment Corporation，F(xiàn)ebruary，1989．[2]Abadi M，Tuttle M R．A semantics for a logic of authentication．In Proceedings of Tenth Annual ACM Symposium on Principles of Distributed Computer Science，York：1991，201-216．[3]Boyd C，Mao W．On a limitations of BAN logic．In Lecture Notes in Computer Science 765，Berlin：Springer-Verlag：1993，240-247．[4]Mao W，Boyd C．Towards formal analysis of security protocols．In Proceedings of Computer Security FoundationS Workshop VI，Washington：IEEE Computer Society Press，1993，147-158．[5]Mao W．An augmentation of BAN-like logics．In Proceedings of Computer Security Foundations Workshop VIII，Washington：IEEE Computer Society Press，1995，44-56．[6]van Oorschot P C．An alternate explanation of two BAN-logicfailures．In Lecture Notes in Computer Science 765，Berlin：Springer-Verlag，1993，443-447． -
計量
- 文章訪問數(shù): 2063
- HTML全文瀏覽量: 117
- PDF下載量: 358
- 被引次數(shù): 0
下載:
