基于行為和狀態(tài)的多角度系統(tǒng)審核研究
2012-04-29 00:44:03林植劉德祥李云山靳焰
智能計算機與應(yīng)用 2012年1期
林植 劉德祥 李云山 靳焰
摘要：審核是系統(tǒng)安全的關(guān)鍵技術(shù)之一。從系統(tǒng)安全性的角度分析對行為的狀態(tài)實施審核的必要性，為多角度系統(tǒng)審核提供了理論依據(jù)，擴大了系統(tǒng)審核對象范圍；制定針對不同對象的審核策略描述形式，為審核技術(shù)的研究與設(shè)計提供了系統(tǒng)的理論分析工具：最后給出了系統(tǒng)實現(xiàn)。
猜你喜歡
湖南電力(2022年3期)2022-07-07 08:56:26
江蘇安全生產(chǎn)(2021年10期)2022-01-18 03:21:46
中學(xué)生數(shù)理化·高一版(2021年4期)2021-07-19 09:00:56
新世紀(jì)智能(數(shù)學(xué)備考)(2021年11期)2021-03-08 01:08:08
金秋(2020年16期)2020-12-09 01:41:48
中學(xué)生數(shù)理化(高中版.高二數(shù)學(xué))(2020年10期)2020-11-10 08:48:58
Journal of Donghua University(English Edition)(2020年3期)2020-09-23 02:39:24
小學(xué)生作文(中高年級適用)(2018年5期)2018-06-11 01:22:54
中學(xué)語文(2017年25期)2017-01-29 01:12:10
太陽能(2015年6期)2015-02-28 17:09:37
