基于行為和狀態(tài)的多角度系統(tǒng)審核研究
2012-04-29 00:44:03林植劉德祥李云山靳焰
智能計算機(jī)與應(yīng)用 2012年1期
林植 劉德祥 李云山 靳焰
摘要：審核是系統(tǒng)安全的關(guān)鍵技術(shù)之一。從系統(tǒng)安全性的角度分析對行為的狀態(tài)實施審核的必要性，為多角度系統(tǒng)審核提供了理論依據(jù)，擴(kuò)大了系統(tǒng)審核對象范圍；制定針對不同對象的審核策略描述形式，為審核技術(shù)的研究與設(shè)計提供了系統(tǒng)的理論分析工具：最后給出了系統(tǒng)實現(xiàn)。
猜你喜歡
工業(yè)設(shè)計(2022年8期)2022-09-09 07:43:20
軍民兩用技術(shù)與產(chǎn)品(2021年10期)2021-03-16 06:05:30
民用飛機(jī)設(shè)計與研究(2020年4期)2021-01-21 09:15:02
北京測繪(2020年12期)2020-12-29 01:33:58
裝備制造技術(shù)(2019年12期)2019-12-25 03:06:46
中國洗滌用品工業(yè)(2019年4期)2019-05-11 09:27:34
電子制作(2018年18期)2018-11-14 01:48:24
家庭影院技術(shù)(2017年9期)2017-09-26 03:41:45
山東工業(yè)技術(shù)(2016年15期)2016-12-01 05:31:22
中國中醫(yī)藥現(xiàn)代遠(yuǎn)程教育(2014年11期)2014-08-08 13:23:44
