《基於社會建模的安全性需求分析方法的研究》是依託清華大學，由劉璘擔任項目負責人的面上項目。
基本介紹
- 中文名：基於社會建模的安全性需求分析方法的研究
- 依託單位：清華大學
- 項目負責人：劉璘
- 項目類別：面上項目
- 批准號：60873064
- 申請代碼：F0203
- 負責人職稱：副研究員
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：29（萬元）
項目摘要
軟體作為一種特殊的人造製品，具有若干不同方面的性質。首先它是軟體工程活動的產物，因此，軟體需求的滿足可以通過工程化的手段來保證，具體包括測試、檢查等質量管理和認證手段。其次它是具有數理性質的抽象的符號系統，因此軟體的需求可以通過形式化的數學手段和工具進行驗證和證明。以上兩個方面是人們考慮軟體性質的經典視角，已有相對成熟的理論和方法學基礎，是提高軟體可信性的重要途徑。然而，不可忽略的是，在開放分布的網路環境下，軟體越來越呈現出分布自治的特性，軟體的性質與軟體的來源，歷史以及結構密切相關，同時，軟體主體之間的通信、協作和依賴關係也越來越明顯地反映出軟體所具有的社會性。本課題旨在運用社會建模的手段，研究軟體的需求分析方法，從而提高未來軟體的需求分析與設計活動的系統性與科學性。課題將提出一套表達基於社會建模的軟體安全需求理論模型，給出相應的模型分析方法，並運用該方法分析新型服務軟體的需求建模技術。
