大型軟體的安全性分析

Abstract

在本篇論文中我們將建構一個對大型軟體安全性分析的模型.藉由分析軟 體的原始程式碼,執行軟體時可能發生的侵害行為將會被我們所提出的模 型予以偵測出並交回由原軟體設計者重新修改原程式.本模型只能用於分 析因軟體設計上的錯誤所造成的侵害行為,而無法用於分析因硬體設計錯 誤所引起的侵害行為. In this paper, we develop the foundations for penetration analysi s in computer systems. Penetration scenarios can be detected by a anlyzing software source code with the help of the framewrok defi ned in the model of this paper. This model is intended for penetr ation analysis of software flaws, rather than hardware flaws.