基于攻擊模式的安全需求分析工具設計與實現(xiàn).pdf

1、隨著對網絡安全要求的不斷提高，軟件的安全性成為了人們關注的焦點，如何在開發(fā)過程中即關注安全問題，開發(fā)出安全的軟件已成為軟件工程的研究熱點。本文針對需求分析階段的安全漏洞檢測問題開展研究，給出了基于攻擊模式和誤用例的安全漏洞檢測模型，并開發(fā)了相應檢測工具，該工具可以在需求分析階段就能夠對安全漏洞做出檢測，并提出緩和策略。 通過對功能需求和安全需求相關概念的分析，給出一種從攻擊模式獲取軟件安全需求的方法，并用形式化方法建模之。在使用

2、Z語言對攻擊模式進行形式化描述的基礎上，對功能用例圖進行用例分解，細化用例圖的信息，通過Z語言和Petri網對基于攻擊模式獲取安全需求并緩和的過程進行建模。此外，從攻擊模式中獲取部分屬性構成誤用例庫。 構建并實現(xiàn)了安全需求分析工具。該工具分為用例掃描和庫文件兩部分。庫文件采用XML作為數(shù)據(jù)模型，用例掃描工具對用例圖進行掃描，獲取用例及其關系，根據(jù)用例的名稱及其執(zhí)行路徑，與用例庫，誤用例庫相對比，確定用例的誤用例，并根據(jù)誤用例確定