摘要:提出一種基于行為時序邏輯的入侵取證的形式化方法,其描述語言能夠準確描述入侵證據(jù)、系統(tǒng)知識以及攻擊行為,并具有在部分數(shù)據(jù)缺失的情況下進行非確定性推理的能力;其自動驗證工具能夠?qū)で箢~外的證據(jù)并可檢查是否有可能的攻擊與這些證據(jù)相符。實例研究表明,這種方法不依賴于具體的攻擊技術(shù)和操作系統(tǒng),不懼證據(jù)的缺失,能夠有效搜尋更多的證據(jù)并重建可能的攻擊場景。
計算機應(yīng)用研究2011年7期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現(xiàn)代工業(yè)經(jīng)濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業(yè)微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業(yè)管理與科技》2024年6期
9《現(xiàn)代食品》2024年4期
10《衛(wèi)生職業(yè)教育》2024年10期
關(guān)于參考網(wǎng)