論文元數(shù)據(jù)搜索，找到相關(guān)信息共 8 條：
2000, 22(3): 505-508.
刊出日期：2000-05-19
關(guān)鍵詞:
模態(tài)邏輯; BAN邏輯; 新鮮子
本文從BAN邏輯的基本結(jié)構(gòu)和基本規(guī)則出發(fā),對(duì)BAN邏輯中的新鮮子進(jìn)行了分析研究,指出BAN邏輯在實(shí)際應(yīng)用中不穩(wěn)固的某些本質(zhì)原因并不是理想化問題,而是原基本規(guī)則中存在的某些問題所致,并進(jìn)一步對(duì)此進(jìn)行了相應(yīng)的改進(jìn),使得BAN邏輯更趨于穩(wěn)固和完善。
2000, 22(4): 579-584.
刊出日期：2000-07-19
關(guān)鍵詞:
認(rèn)證協(xié)議; BAN-邏輯
本文指出了BAN-邏輯推理中存在的邏輯錯(cuò)誤，提出了一種改進(jìn)的BAN-邏輯，它具有精確的語義定義和正確的推理規(guī)則，當(dāng)協(xié)議的初始條件正確時(shí)，邏輯推理的結(jié)論是正確的。
2002, 24(8): 1131-1133.
刊出日期：2002-08-19
關(guān)鍵詞:
密碼協(xié)議; BAN邏輯; 新鮮子
該文通過一個(gè)反例說明,宋榮功等對(duì)BAN邏輯中新鮮子的研究中關(guān)于BAN邏輯新鮮子規(guī)則條件過于嚴(yán)格,可能把一個(gè)安全的協(xié)議分析成不安全的協(xié)議。
2000, 22(1): 73-77.
刊出日期：2000-01-19
關(guān)鍵詞:
認(rèn)證協(xié)議; BAN邏輯
本文指出了W.Mao(1995)對(duì)其協(xié)議(1)的證明中存在的錯(cuò)誤,并對(duì)其在協(xié)議理想化過程中提出的N-u規(guī)則作了探討,指出其擴(kuò)展N-u的三條規(guī)則的缺陷,并作了改進(jìn),最后,給出一個(gè)例子說明N-u規(guī)則的應(yīng)用。
1999, 21(4): 557-560.
刊出日期：1999-07-19
關(guān)鍵詞:
BAN邏輯; 語義; 并行攻擊
本文從BAN邏輯的語義角度討論了并行攻擊,并提出了對(duì)并行攻擊的判斷方法。
2016, 38(2): 361-366.
doi: 10.11999/JEIT150653
刊出日期：2016-02-19
針對(duì)資源受限的RFID標(biāo)簽，結(jié)合偽隨機(jī)數(shù)和共享秘密機(jī)制，該文提出一種基于散列函數(shù)的輕量級(jí)雙向認(rèn)證協(xié)議，實(shí)現(xiàn)了后端數(shù)據(jù)庫、閱讀器和標(biāo)簽之間的雙向認(rèn)證。詳細(xì)分析了雙向認(rèn)證協(xié)議的抗攻擊性能和效率性能，并基于BAN邏輯分析方法對(duì)協(xié)議模型進(jìn)行了形式化證明。理論分析表明，該文提出的認(rèn)證協(xié)議能夠?qū)崿F(xiàn)預(yù)期安全目標(biāo)，抗攻擊性能好，認(rèn)證執(zhí)行效率高且標(biāo)簽開銷小，適用于大數(shù)量的RFID應(yīng)用。
1999, 21(4): 494-499.
刊出日期：1999-07-19
關(guān)鍵詞:
個(gè)人通信系統(tǒng); 認(rèn)證協(xié)議; BAN邏輯
假冒和竊聽攻擊是無線通信面臨的主要威脅。在個(gè)人通信系統(tǒng)中,為了對(duì)無線鏈路提供安全保護(hù),必須對(duì)鏈路上所傳送的數(shù)據(jù)/話音進(jìn)行加密,而且在用戶與服務(wù)網(wǎng)絡(luò)之間必須進(jìn)行相互認(rèn)證。近年來,人們?cè)诓煌囊苿?dòng)通信網(wǎng)絡(luò)(如GSM,IS-41,CDPD,Wireless LAN等)中提出了許多安全協(xié)議。然而,這些協(xié)議在個(gè)人通信環(huán)境中應(yīng)用時(shí)存在不同的弱點(diǎn)。本文基于個(gè)人通信系統(tǒng)的雙鑰保密與認(rèn)證模型,設(shè)計(jì)了用戶位置登記認(rèn)證協(xié)議;并采用BAN認(rèn)證邏輯對(duì)協(xié)議的安全性進(jìn)行了形式化證明,也對(duì)協(xié)議的計(jì)算復(fù)雜性進(jìn)行了定性分析。分析表明,所提出的協(xié)議與現(xiàn)有的協(xié)議相比具有許多新的安全特性。
2022, 44(12): 4294-4303.
doi: 10.11999/JEIT211137
刊出日期：2022-12-16
目前，網(wǎng)絡(luò)安全及隱私受到廣泛關(guān)注。前向安全性是Günther在1989年提出的一種認(rèn)證密鑰協(xié)商協(xié)議( AKA)的安全屬性(doi: 10.1007/3-540-46885-4_5)，該性質(zhì)經(jīng)過30年的蓬勃發(fā)展已經(jīng)成為研究領(lǐng)域的熱點(diǎn)之一。該文主要分析了MZK20和VSR20兩個(gè)AKA協(xié)議。首先在啟發(fā)式分析的基礎(chǔ)上，利用BAN邏輯分析了MZK20協(xié)議不具有弱前向安全性；其次利用啟發(fā)式分析和Scyther工具證明了VSR20協(xié)議不具備前向安全性。最后，在分析VSR20協(xié)議設(shè)計(jì)缺陷的基礎(chǔ)上，提出了改進(jìn)方案，并在eCK模型下證明了改進(jìn)后協(xié)議的安全性；并且，結(jié)合Scyther軟件證明了改進(jìn)VSR20協(xié)議與VSR20協(xié)議相比明顯提高了安全性。
