本文關(guān)鍵詞：協(xié)議認(rèn)證性安全屬性測試方法

  更多相關(guān)文章： 協(xié)議測試 安全屬性 認(rèn)證性測試 形式化模型 攻擊分類

【摘要】：認(rèn)證性建立通信雙方的信任關(guān)系,是安全通信的重要保障.傳統(tǒng)的協(xié)議測試方法只關(guān)注協(xié)議功能的正確性,無法滿足認(rèn)證性等安全屬性測試的要求.因此,提出了一種針對協(xié)議認(rèn)證性的安全屬性測試方法,利用帶目標(biāo)集合的有限狀態(tài)機模型SPG-EFSM來擴(kuò)展描述協(xié)議安全屬性,并在攻擊場景分類的基礎(chǔ)上設(shè)計了認(rèn)證攻擊算法.通過攻擊算法找到了Woo-lam協(xié)議和μTESLA協(xié)議的認(rèn)證性漏洞,該方法具有可行性、覆蓋率高等特點.
【作者單位】： 西安電子科技大學(xué)計算機網(wǎng)絡(luò)與信息安全教育部重點實驗室;北方工業(yè)大學(xué)計算機學(xué)院信息安全系;
【關(guān)鍵詞】： 協(xié)議測試 安全屬性 認(rèn)證性測試 形式化模型 攻擊分類
【基金】：國家自然科學(xué)基金青年基金(No.61303219),國家自然科學(xué)基金面上基金(No.61672415) 陜西省自然科學(xué)基礎(chǔ)研究計劃(No.2014JQ8295) 中央高校基本科研業(yè)務(wù)費(No.JB140303)
【分類號】：TN915.04
【正文快照】： 1引言 通信協(xié)議作為網(wǎng)絡(luò)和分布式應(yīng)用的基礎(chǔ)[1],其固有的復(fù)雜性和潛在的敵對環(huán)境,使得協(xié)議的安全性面臨巨大的挑戰(zhàn).大量基于邏輯推理的方法被用來分析、驗證通信協(xié)議的安全性[2,3],如認(rèn)證性、保密性、不可否認(rèn)性和完整性等安全屬性.但是,這些方法大多集中在協(xié)議規(guī)范分析與驗

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 溫雅敏;龔征;;一個新型不可關(guān)聯(lián)秘密握手方案[J];計算機工程;2013年03期

2 ;[J];;年期

，

本文編號：1121598