本文選題：安全協(xié)議 + 自適應(yīng)模型檢測��； 參考：《通信學(xué)報》2015年S1期

【摘要】：提出一種改進的安全協(xié)議自適應(yīng)分析算法,即修正學(xué)習(xí)算法La*,解決部分教師缺乏經(jīng)驗的問題,并將字符集擴展為大字符集。對提出的修正學(xué)習(xí)算法,進行了正確性證明和復(fù)雜度分析。該修正學(xué)習(xí)算法將有助于提高安全協(xié)議自適應(yīng)模型檢測的效率、降低分析和設(shè)計成本、緩解狀態(tài)空間爆炸并增強協(xié)議本身對環(huán)境和各種攻擊手段的防御能力。
[Abstract]:An improved adaptive analysis algorithm for security protocols is proposed, that is, the modified learning algorithm Laan, which solves the problem of lack of experience of some teachers, and extends the character set to a large character set. The correctness of the proposed modified learning algorithm is proved and the complexity is analyzed. The modified learning algorithm will help to improve the efficiency of adaptive model detection of security protocols, reduce the cost of analysis and design, mitigate the explosion of state space and enhance the defense ability of the protocol to environment and various attack methods.
【作者單位】： 西安電子科技大學(xué)綜合業(yè)務(wù)網(wǎng)理論及關(guān)鍵技術(shù)國家重點實驗室;中國科學(xué)院大學(xué)國家計算機網(wǎng)絡(luò)入侵防范中心;中國科學(xué)院信息工程研究所信息安全國家重點實驗室;
【基金】：核高基1-4“開源操作系統(tǒng)內(nèi)核分析和安全性評估”基金資助項目(2012ZX01039-004-65) 信息安全國家重點實驗室開放基金資助項目(2014-12)~~
【分類號】：TP393.08;TP301.6

【參考文獻】

相關(guān)碩士學(xué)位論文 前1條

1 張孝紅;基于形式化方法的安全協(xié)議自動化驗證算法的研究[D];湖南大學(xué);2010年

【二級參考文獻】

相關(guān)期刊論文 前10條

1 周宏斌,黃連生,桑田;基于串空間的安全協(xié)議形式化驗證模型及算法[J];計算機研究與發(fā)展;2003年02期

2 劉民岷;孫世新;劉t，

本文編號：1811479