基于密碼協(xié)議實現(xiàn)的邏輯安全檢測方法
基本信息
| 申請?zhí)?/td> | CN202110461667.1 | 申請日 | - |
| 公開（公告）號 | CN114186218A | 公開（公告）日 | 2022-03-15 |
| 申請公布號 | CN114186218A | 申請公布日 | 2022-03-15 |
| 分類號 | G06F21/46（2013.01）I;G06F21/57（2013.01）I;G06F16/36（2019.01）I;G06N5/04（2006.01）I;G06N20/00（2019.01）I | 分類 | 計算；推算；計數(shù); |
| 發(fā)明人 | 吳福生 | 申請（專利權(quán)）人 | 貴州財經(jīng)大學(xué) |
| 代理機(jī)構(gòu) | 廣州三環(huán)專利商標(biāo)代理有限公司 | 代理人 | 盧澤明 |
| 地址 | 550025貴州省貴陽市花溪大學(xué)城 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開基于密碼協(xié)議實現(xiàn)的邏輯安全檢測方法，包括以下步驟實現(xiàn)：S01：根據(jù)密碼協(xié)議將要達(dá)成的安全目標(biāo)，設(shè)計或改進(jìn)密碼協(xié)議；S02：獲取密碼協(xié)議，實行編碼；S03：在不同的平臺上運行密碼協(xié)議，實現(xiàn)其行為軌跡和特征提?。籗04：分析密碼協(xié)議存在的邏輯安全，構(gòu)建密碼協(xié)議實現(xiàn)的邏輯安全檢測模型；S05：以密碼協(xié)議代碼實現(xiàn)的安全性為前提，設(shè)計應(yīng)用于新環(huán)境的新密碼協(xié)議，邏輯安全檢測模型對新密碼協(xié)議實現(xiàn)時進(jìn)行安全性檢測。在基于數(shù)學(xué)困難問題作為設(shè)計密碼協(xié)議實現(xiàn)時的安全理論基礎(chǔ)，構(gòu)建邏輯安全檢測模型，分析提取的特征發(fā)現(xiàn)或預(yù)防密碼協(xié)議軟件實現(xiàn)的漏洞產(chǎn)生和利用漏洞攻擊等不安全事件，提高網(wǎng)絡(luò)空間中信息傳輸?shù)陌踩浴?/td> |
