A.Goguen等人提出的无干扰法B.Kemmerer等人提出的共享资源矩阵法C.Tsai等人提出的带有语义分析的信息流法D.Denning等人提出的句法信息流分析法
A.可复制性B.“信息”不守恒C.层次、剖面特性D.共享性
A.重要性B.一般性C.特殊性D.需求性