網(wǎng)絡(luò)信息安全自動分析與評測系統(tǒng)

電子信息

項目研究內(nèi)容 ： 本系統(tǒng)的開發(fā)內(nèi)容是實現(xiàn)一個能夠?qū)W(wǎng)絡(luò)安全認證

協(xié)議進行形式化自動分析的模型檢測系統(tǒng)，

該系統(tǒng)能夠自動完成對協(xié)議的

建模、性質(zhì)歸納及協(xié)議系統(tǒng)模型的驗證，并在發(fā)現(xiàn)協(xié)議漏洞時，以直觀的

圖形化界面顯示該漏洞的攻擊序列圖。

技術(shù)特點 ：抽象性：該系統(tǒng)具有較高的抽象性。協(xié)議的建模和驗證過

程對用戶來說是完全透明的

未應用