多級(jí)安全數(shù)據(jù)庫(kù)中的隱蔽通道研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的飛速發(fā)展，計(jì)算機(jī)已經(jīng)在社會(huì)的各個(gè)方面，包括政治、經(jīng)濟(jì)、軍事、科技等領(lǐng)域得到了廣泛的應(yīng)用。對(duì)于軍隊(duì)、政府等特殊部門(mén)，必須研究數(shù)據(jù)庫(kù)安全以確保其信息的絕對(duì)安全性，因此就產(chǎn)生了對(duì)安全數(shù)據(jù)庫(kù)的需求。國(guó)外對(duì)安全數(shù)據(jù)庫(kù)的研究已經(jīng)比較成熟，但對(duì)于涉及到國(guó)家安全的，國(guó)外對(duì)中國(guó)進(jìn)行技術(shù)封鎖，所以中國(guó)必須研究自己的安全數(shù)據(jù)庫(kù)以彌補(bǔ)國(guó)內(nèi)技術(shù)的空白。
　　 本文首先介紹了安全數(shù)據(jù)庫(kù)的概念和安全數(shù)據(jù)庫(kù)的分級(jí)，然后介紹了隱蔽通道的定義，總結(jié)

2、了隱蔽通道分析的研究進(jìn)展，說(shuō)明隱蔽通道及其分析的本質(zhì)與內(nèi)涵，本文通過(guò)仿真實(shí)現(xiàn)隱蔽通道，研究了隱蔽通道的若干性質(zhì)，研究了隱蔽通道的工作原理和在工程應(yīng)用中產(chǎn)生隱蔽通道的最小條件，并證明了隱蔽通道產(chǎn)生的最小條件。本文引入多實(shí)例解決多級(jí)安全數(shù)據(jù)庫(kù)中的隱蔽通道，提出了一個(gè)基于系統(tǒng)實(shí)體定義的多級(jí)安全數(shù)據(jù)模型。該模型重新定義了實(shí)體完整性和參照完整性，消除了多實(shí)例帶來(lái)的主鍵漏洞、語(yǔ)義模糊性和查詢模糊性。然后并證明了該模型的正確性、完備性和安全性，該模型