基于符號執行的軟件緩存側信道脆弱性檢測技術 楊超; 郭云飛; 扈紅超; 劉文彥; 霍樹民; 王亞文 國家數字交換系統工程技術研究中心; 河南鄭州450003 摘要:緩存側信道攻擊的基礎是程序針對不同敏感信息將訪問不同的緩存地址.本文提出基于符號執行的緩存側信道脆弱性檢測技術,通過符號化敏感信息的數據傳播過程定位潛在的脆弱點,并通過比較其可能的不同緩存訪問地址,判斷上述代碼在緩存攻擊中的可利用性.本文開發了原型系統 CSCVulDiscover,并針對 RSA等 3種密碼算法的 12類實現代碼進行測試,總共發現了 125個脆弱點. 注: 保護知識產權,如需閱讀全文請聯系電子學報雜志社
相關推薦 更多 電力電子技術 統計源核心 1-3個月錄用 高電壓技術 統計源核心 1-3個月錄用 陜西電力 統計源核心 1個月內錄用 電力系統保護與控制 統計源核心 1-3個月錄用 中國電機工程學報 統計源核心 1-3個月錄用 電氣傳動 統計源核心 1-3個月錄用