999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

面向軟件脆弱性的并行檢測系統相關技術研究與實現

2014-04-29 22:02:01范巍
中國新通信 2014年24期

范巍

【摘要】 軟件脆弱性作為信息安全問題的根源之一,對信息安全構成了嚴重威脅。當前,普遍使用的符號執行技術受限于運算復雜度和計算能力,無法實現大規模應用。為此課題組提出了基于動態符號執行的軟件脆弱性并行檢測系統。并行調度是軟件脆弱性并行檢測系統的關鍵技術之一,與系統的檢測效率緊密相關。本文提出了基于節點狀態的子系統調度算法和基于路徑廣度優先遍歷的任務調度算法,分別實現了并行系統的子系統調度和任務調度。兩個算法在實現上簡單易行,并且具有很高的效率。本文對具體編程的細節進行了介紹和分析。

【關鍵詞】 軟件脆弱性分析 符號執行 并行調度

一、緒論

軟件脆弱性也稱漏洞,是軟件在設計與實現過程中能導致安全事故的缺陷和不足[1]。脆弱性的存在本身并不影響軟件的功能,不會造成任何安全事故。但是網絡攻擊者可以利用軟件脆弱性,在未授權的情況下訪問或破壞計算機系統,造成嚴重的安全事故[2] [3]。當前,普遍使用的符號執行技術受限于運算復雜度和計算能力,無法實現大規模應用。為此本課題設計并實現了基于動態符號執行的面向軟件脆弱性并行檢測系統的并行調度模塊和通信模塊,課題以此為牽引,對符號執行技術進行了研究,對基于符號執行技術的KLEE平臺的搭建和使用進行了詳細介紹,并對KLEE的測試結果進行了詳細分析。

二、相關研究

符號執行是指不通過執行程序,用符號作為程序的輸入,將程序進行模擬執行,從而來進行相關分析的技術。符號執行可分為靜態符號執行和動態符號執行。靜態符號執行包括兩類,分別為過程內分析和過程間分析,其中過程間分析又稱為全局分析。過程內分析的概念是,在進行分析的過程中,只分析單個過程的代碼。而全局分析的概念是,不僅單個過程中的代碼進行分析,并且將整個程序的代碼的上下文進行敏感分析。其中上下文敏感分析的概念是,在開始對當前函數進行內分析時,需要對當前的函數間調用信息和環境信息等進行分析和考慮。

三、基于動態符號執行的軟件脆弱性并行檢測系統

3.1系統總體架構

通過前期對符號執行技術原理和應用的研究,我們對理解基于動態符號執行的軟件脆弱性并行檢測系統奠定了基礎。基于動態符號執行的軟件脆弱性并行檢測系統采用并行技術進行軟件脆弱性檢測,使系統不僅具有高代碼高路徑覆蓋率,同時大大提升了軟件脆弱性檢測的效率。

3.2系統功能概述

調度服務器:調度服務器是系統的中心,數量為1個,工作于Windows 2003以上環境,負責與各個子系統通信,向子系統發布命令,并接收反饋。

總控中心:總控子系統直接與用戶進行交互,是系統對外的接口,用戶的所有操作通過總控中心進行實現。

四、并行調度模塊設計與實現

4.1算法設計思想

基于動態符號執行的軟件脆弱性并行檢測系統的并行調度問題是系統研發過程中的核心問題之一。調度服務器如何向三類子系統分配執行任務,對整個并行系統的執行效率影響極大。本章設計與實現的并行調度模塊主要解決了三類子系統的調度問題和三類子系統任務調度問題。

4.2子系統調度算法

并行系統共有測試子系統、分析子系統和求解子系統三類子系統,每類子系統的數量有多個。當任務到達,調度Server如何在每類子系統中選擇執行任務的單位,即是子系統調度算法需要研究的問題。

4.3實現方案

在實現子系統調度和任務調度的過程中,需要對子系統信息、任務信息和任務內容進行存儲。為了解決存儲問題,系統在具體實現時,使用Hadoop分布式存儲系統對各個子系統執行的任務內容進行存儲,系統使用Oracle數據庫對各個子系統的注冊信息和狀態信息以及各個子系統執行的任務基本信息進行存儲。

五、總結與展望

本文對項目組基于動態符號執行的面向軟件脆弱性并行檢測系統進行了研究。最后,本文設計與實現了該系統的并行調度模塊和通信模塊,兩個模塊在實現上簡單易行,并且效率很高。本文的下一步工作主要包括以下方面:一是對動態符號執行工具和軟件脆弱性并行檢測工具進行研究,二是對任務調度的算法進行優化。

參 考 文 獻

[1] 柳淑玉,孔維廣.軟件安全漏洞挖掘技術的研究[J].山東紡織經濟,2010,(5):107-109.

[2] 華旭峰,劉源.淺析漏洞挖掘技術[J].商場現代化,2009,(4):19.

[3] 文偉平,吳興麗,蔣建春等.軟件安全漏洞挖掘的研究思路及發展趨勢[J].信息網絡安全,2009,(10):78-80.

[4]鄭亮,劉向東.漏洞挖掘技術研究[C].全國抗惡劣環境計算機第十八屆學術年會論文集.2008:75-78.

主站蜘蛛池模板: 99久久婷婷国产综合精| 亚洲美女一区| 精品福利一区二区免费视频| 先锋资源久久| 三级欧美在线| 91精品啪在线观看国产91九色| 国产精品亚洲日韩AⅤ在线观看| 一级全免费视频播放| 伊人激情综合| 国内精品一区二区在线观看| 久996视频精品免费观看| 成人福利在线视频| 日本少妇又色又爽又高潮| 国产在线自乱拍播放| 欧美日韩午夜视频在线观看 | 久草青青在线视频| 鲁鲁鲁爽爽爽在线视频观看| 亚洲IV视频免费在线光看| 国产欧美日韩18| 高清欧美性猛交XXXX黑人猛交| 成人福利在线观看| 国模私拍一区二区 | 国产激情影院| 国产成熟女人性满足视频| 五月婷婷综合网| a级毛片免费网站| 国内精自线i品一区202| 亚洲欧美另类中文字幕| 永久天堂网Av| 中文一级毛片| 国产va免费精品| 高清精品美女在线播放| 亚洲一区无码在线| a级毛片在线免费| 亚洲天堂视频在线免费观看| 国产超碰一区二区三区| 狠狠色成人综合首页| 人妻无码中文字幕一区二区三区| 精品视频免费在线| 亚国产欧美在线人成| 无码AV日韩一二三区| 亚洲婷婷丁香| 国产乱子伦无码精品小说 | 中文字幕永久视频| 伊人AV天堂| 天天躁夜夜躁狠狠躁躁88| 国产无人区一区二区三区| 最新日韩AV网址在线观看| 91久久性奴调教国产免费| 国产视频你懂得| 久久77777| 国产小视频网站| 国产视频欧美| 欧美黑人欧美精品刺激| 青青青视频91在线 | 狂欢视频在线观看不卡| 四虎亚洲精品| 在线观看视频99| 亚洲成a人片在线观看88| 毛片在线看网站| 国产视频只有无码精品| 国产97视频在线| 色悠久久久| 久久 午夜福利 张柏芝| 狠狠色成人综合首页| 欧美精品xx| 天堂av综合网| 亚洲欧美色中文字幕| 91精品专区| 都市激情亚洲综合久久| 久久久久中文字幕精品视频| 97国产在线播放| 高清色本在线www| av天堂最新版在线| 国产69精品久久久久孕妇大杂乱| 超清无码熟妇人妻AV在线绿巨人| 亚洲乱强伦| 亚洲人成网18禁| 在线va视频| 日本一区二区三区精品国产| 天堂久久久久久中文字幕| 国产91无毒不卡在线观看|