DFL在網(wǎng)絡安全審計中的應用研究.pdf

1、網(wǎng)絡安全審計采用事后檢驗的方式，根據(jù)人們對合法數(shù)字資源使用方式的認識，審查已發(fā)生的數(shù)字資源使用過程并對其合法性做出判斷。由于數(shù)字資源的使用過程是動態(tài)的，使得該過程自身的合法或非法性呈現(xiàn)出動態(tài)特性：一個合法的使用過程可能因為使用后期的某種操作變得非法；同時，非法這一概念本身具有模糊性：一個使用過程在多大程度上是非法的是不確定的，其來源在于使用過程中出現(xiàn)的什么樣的操作是不確定的。
　　 本文將動態(tài)模糊邏輯應用到安全審計中，一方面解決

2、數(shù)字資源使用過程中因動態(tài)出現(xiàn)非法操作而表現(xiàn)出非法性不確定的問題，另一方面，將操作的非法性概念量化，最終使得對非法使用過程的推理精確化。使用動態(tài)模糊知識表示手段實現(xiàn)非法特性精確化，將數(shù)字資源使用過程轉(zhuǎn)換成動態(tài)模糊產(chǎn)生式的前件，通過對前件的匹配模式解決使用過程非法性不確定的問題。
　　 本文的主要工作包括：設計網(wǎng)絡安全審計基本框架；給出動態(tài)模糊知識表示手段；描述了基于動態(tài)模糊產(chǎn)生式的推理過程；進而形式化安全審計基本框架下的審計對象和