詳細描述系統(tǒng)中安全相關(guān)的方面;描述安全相關(guān)模塊之間的關(guān)系;提出指導(dǎo)設(shè)計的基本原理;提出開發(fā)框架和層次結(jié)構(gòu)。