基于行為和狀態(tài)的多角度系統(tǒng)審核研究
2012-04-29 00:44:03林植劉德祥李云山靳焰
智能計(jì)算機(jī)與應(yīng)用 2012年1期
林植 劉德祥 李云山 靳焰
摘要：審核是系統(tǒng)安全的關(guān)鍵技術(shù)之一。從系統(tǒng)安全性的角度分析對(duì)行為的狀態(tài)實(shí)施審核的必要性，為多角度系統(tǒng)審核提供了理論依據(jù)，擴(kuò)大了系統(tǒng)審核對(duì)象范圍；制定針對(duì)不同對(duì)象的審核策略描述形式，為審核技術(shù)的研究與設(shè)計(jì)提供了系統(tǒng)的理論分析工具：最后給出了系統(tǒng)實(shí)現(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é)生作文(中高年級(jí)適用)(2018年5期)2018-06-11 01:22:54
中學(xué)語(yǔ)文(2017年25期)2017-01-29 01:12:10
太陽(yáng)能(2015年6期)2015-02-28 17:09:37
