數據庫隱通道安全防護策略研究.pdf

1、美國國防部的TCSES準則和ISO的CC標準都對隱通道做出了明確規(guī)定，即數據庫要通過B2或EAL5級以上的安全認證，必須通過不同強度的隱通道分析。隱通道的分析可以分為三部分：定義，搜索和消除。隱通道的研究在經歷了八、九十年代的繁榮期后，現(xiàn)有隱通道研究聚焦于操作系統(tǒng)（OS）安全層面，在數據庫隱通道安全防護方面的研究，尚在起步階段。同時，近些年隱通道的研究趨向緩慢，一個重要的原因是基礎研究與應用研究的脫節(jié)，基于數學工具的研究手段在應用領域研

2、究工作中難以快速發(fā)展。所以在數據庫隱通道安全防護領域研究中，需要建立起基于數據庫隱通道的形式化定義、基于形式化推導的數據庫隱通道搜索策略和數據庫隱通道消除策略。
　　 本文的主要工作如下：
　　 （1）數據隱通道可計算性研究。通過對現(xiàn)有OS領域隱通道研究分析，根據數據庫安全的特點，區(qū)別性的給出數據庫隱通道的形式化定義、特征分類、代數系統(tǒng)和相關威脅率計算。
　　 （2）數據庫典型隱通道的構建立和可行性論證。對數據庫

3、隱通道的特征進行歸納論證，通過一個不可判定性的證明，論證在現(xiàn)有OS體系結構中，數據庫隱通道產生的必然性，可行性和危害性。并通過形式化推導和可計算性推導，描述現(xiàn)有數據庫隱通道實例。
　　 （3）基于可計算性研究的數據隱通道搜索策略。通過可計算性研究，提出數據庫隱通道搜索方式及其分類。分析了數據庫隱通道搜索方面面臨的問題，并通過相關證明，給出了在搜索過程中的不可判定性。
　　 （4）數據庫隱通道消除策略以及相關應用研究。提出