《基於缺陷建模的軟體脆弱性分析方法研究》是依託南京大學,由曾慶凱擔任項目負責人的面上項目。
基本介紹
- 中文名:基於缺陷建模的軟體脆弱性分析方法研究
- 項目類別:面上項目
- 項目負責人:曾慶凱
- 依託單位:南京大學
- 批准號:60773170
- 申請代碼:F0202
- 負責人職稱:教授
- 研究期限:2008-01-01 至 2010-12-31
- 支持經費:27(萬元)
《基於缺陷建模的軟體脆弱性分析方法研究》是依託南京大學,由曾慶凱擔任項目負責人的面上項目。
《基於缺陷建模的軟體脆弱性分析方法研究》是依託南京大學,由曾慶凱擔任項目負責人的面上項目。項目摘要現有的軟體脆弱性分析研究大多局限於某類軟體缺陷的檢測。不斷產生的軟體缺陷會使得原有的檢測技術不再適用,需要不斷地研究和改進...
《基於缺陷分析的軟體體系結構演化研究》是依託中南大學,由盛津芳擔任項目負責人的專項基金項目。項目摘要 軟體演化過程中,軟體體系結構複雜度增加會導致軟體質量逐漸下降。研究軟體體系結構演化趨勢的分析方法對於確定軟體重構的時機和降低重構...
《軟體脆弱性問題中的信息流分析方法研究》是依託北京郵電大學,由郭世澤擔任項目負責人的面上項目。項目摘要 信息流分析廣泛套用於編譯器最佳化和軟體測試技術,近年來成為軟體脆弱性問題研究的熱點。脆弱性分析的關鍵是如何觸發軟體中潛在的...
我們研究了一些與軟體缺陷預測模型相關的技術問題,包括了軟體缺陷數據的質量問題,基於採樣數據的軟體缺陷預測模型,軟體缺陷的定位,和缺陷修復時間的預測。目前軟體缺陷數據挖掘方法可能會導致大量的缺失數據,使數據中存在噪音。我們分析了不...
嵌入式控制軟體、現場匯流排三方面,對控制系統的脆弱性產生的機理進行分析,建立脆弱性模型;結合控制對象工藝、危險態勢以及脆弱性被利用帶來的資產與社會危害,建立控制系統脆弱性的度量評價理論體系,為工業控制系統的安全防禦策略研究提供...
《基於機器學習的小樣本軟體缺陷檢測技術的研究》是依託南京大學,由黎銘擔任項目負責人的面上項目。項目摘要 軟體質量是軟體可靠運行的基礎,而軟體缺陷是破壞軟體質量的元兇之一,有效檢測軟體缺陷是保障軟體質量的重要手段。軟體缺陷自動檢測...
因此必須採取理論研究和技術實踐相結合的手段,從根本問題入手,將抽象解釋理論運用於虛擬化環境安全缺陷的建模,從安全約束規則的角度研究虛擬機監控器的保護方法,建立了可支持多維可變粒度的高安全需求軟體動態隔離機制,並構造實驗驗證系統...
目前,相關研究主要圍繞單個交通基礎設施系統展開,忽視了不同種類系統之間的互補關係,而這種互補關係與脆弱性分析密切相關。基於此,項目組提出了互補交通基礎設施系統脆弱性分析方法及其套用研究這一課題,在定量化描述互補關係的基礎上,...
本項目對軟體更改缺陷實時預測方法進行研究,旨在儘早發現並修復由於軟體更改引入的缺陷,提高缺陷修復的效率和準確率。主要研究內容包括:更改屬性獲取與計算;更改缺陷關係分析;更改屬性分析與選擇;建模與預測。 主要研究進展包括:(1)...
6.5.2建模和仿真過程 6.5.3仿真輸出和預期結果 6.5.4優點和缺點 6.5.5發展現狀 6.5.6套用案例 6.5.7可用的軟體工具 6.5.8結論 6.6高階模擬架構(HighLevelArchetecture)6.6.1新仿真方法的需求 6.6.2高階模擬架構的...
3.2.1捷運運營事故基本統計分析47 3.2.2捷運運營幹擾事件主要類型49 3.2.3捷運運營幹擾事件間關係的確定50 3.2.4捷運運營幹擾事件網路的構建55 3.3捷運運營幹擾事件網路靜態結構分析57 3.3.1複雜網路分析軟體57 3.3.2捷運運營...
2、研究SDN控制層、轉發層及全網脆弱性評估機制,對待評估的軟體漏洞類型等進行統一形式化描述和建模,並針對典型攻擊制定評估指標,為用戶高效管理SDN軟硬體資產提供支撐。3、在基於網路演算的QoS異常檢測、基於知識圖譜的內容威脅異常檢測、...
具體內容包括:研究體系結構層異常模型AEM4SOA、能描述異常處理的軟體體系結構描述語言SOADL-EH,以支持面向服務軟體體系結構設計階段異常處理邏輯的建模。研究基於著色Petri網的面向服務軟體體系結構的形式化描述方法、異常處理邏輯仿真分析方法...
本課題旨在運用社會建模的手段,研究軟體的需求分析方法,從而提高未來軟體的需求分析與設計活動的系統性與科學性。課題將提出一套表達基於社會建模的軟體安全需求理論模型,給出相應的模型分析方法,並運用該方法分析新型服務軟體的需求建模...
11.5.2 設計缺陷的發現和重構240 11.5.3 評估軟體體系架構243 11.5.4 協作需求與社會技術的一致性243 11.6 結論244 參考文獻244 第三部分 實戰經驗 第12章 軟體數據分析在工業實踐中的套用:當研究遇上實踐250 12.1 ...
1.基於缺陷建模的軟體脆弱性分析方法研究(09-11,國家自然科學基金,3,在研)2.痕跡檢驗專家系統(08-10,市科技局,在研)3.基於入侵容忍的網路入侵取證系統研究(06-08,省教育廳,1,完成)4.振弦式感測器接收儀及其自動巡檢...