基於隨機模型檢測的網路脆弱性分析研究

《基於隨機模型檢測的網路脆弱性分析研究》是依託清華大學，由林闖擔任項目負責人的面上項目。

基本介紹

• 中文名：基於隨機模型檢測的網路脆弱性分析研究
• 依託單位：清華大學
• 項目負責人：林闖
• 項目類別：面上項目
• 申請代碼：F0204
• 批准號：60573144
• 支持經費：5（萬元）
• 研究期限：2006-01-01 至 2006-12-31
• 負責人職稱：教授

項目摘要

網路中的安全問題主要來自於系統中固有存在的脆弱性。當前，脆弱性分析正在由基於規則向基於模型的方向發展。然已有的模型主要是進行定性分析，而非定量分析。本項目將在基於規則的方法基礎上，引入隨機模型，研究基於隨機模型檢測的網路脆弱性的量化評估方法，主要包括基礎理論和套用的研究。前者研究基於Petri網的隨機模型檢測及其模型簡化求解技術。後者則研究如何利用這些理論有效地對網路脆弱性進行量化評估，其主要包括