(1)獲取現(xiàn)行系統(tǒng)的物理模型; (2)獲取現(xiàn)行系統(tǒng)的邏輯模型; (3)獲取目標(biāo)系統(tǒng)的邏輯模型; (4)優(yōu)化目標(biāo)系統(tǒng)的邏輯模型。
A.文檔的安全 B.軟件的安全 C.數(shù)據(jù)的安全 D.運(yùn)行的安全