|
南昌大學
搜 索
高等教育領(lǐng)域數(shù)字化綜合服務(wù)平臺
搜 索
南昌大學
江西省
- 0 高校采購信息
- 157 科技成果項目
- 0 創(chuàng)新創(chuàng)業(yè)項目
- 0 高校項目需求
網(wǎng)絡(luò)信息安全自動分析與評測系統(tǒng)
2021-04-14 00:00:00
云上高博會
http://www.502d.xyz
關(guān)鍵詞：
自動分析
所屬領(lǐ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é)議的建模和驗證過
程對用戶來說是完全透明的
項目階段:
掃碼關(guān)注，查看更多科技成果
取消
確定