林植 劉德祥 李云山 靳焰
摘要:審核是系統安全的關鍵技術之一。從系統安全性的角度分析對行為的狀態實施審核的必要性,為多角度系統審核提供了理論依據,擴大了系統審核對象范圍;制定針對不同對象的審核策略描述形式,為審核技術的研究與設計提供了系統的理論分析工具:最后給出了系統實現。
智能計算機與應用2012年1期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網