B1級(jí)強(qiáng)制訪問(wèn)控制數(shù)據(jù)模型的研究和應(yīng)用.pdf

1、數(shù)據(jù)模型是數(shù)據(jù)庫(kù)系統(tǒng)的核心和基礎(chǔ),建立一個(gè)安全數(shù)據(jù)模型,對(duì)設(shè)計(jì)、開(kāi)發(fā)高安全級(jí)系統(tǒng)而言是至關(guān)重要的.其中強(qiáng)制訪問(wèn)控制是安全數(shù)據(jù)模型中最重要的部分,是系統(tǒng)安全等級(jí)能否達(dá)到B1級(jí)的重要決定因素.本文提出了一種具有強(qiáng)制訪問(wèn)控制的多級(jí)安全關(guān)系數(shù)據(jù)模型.該模型參照了許多經(jīng)典多級(jí)安全數(shù)據(jù)模型的"數(shù)據(jù)借用(data-borrow)"和"基于數(shù)據(jù)的語(yǔ)義(data-based semantics)"的思想,并在此基礎(chǔ)上重新定義了數(shù)據(jù)完整性,有效地解決了多級(jí)

2、安全數(shù)據(jù)庫(kù)中由多實(shí)例產(chǎn)生的語(yǔ)義模糊問(wèn)題.按照"下讀上寫(xiě)"的安全策略重新定義了SQL的四種標(biāo)準(zhǔn)數(shù)據(jù)操作語(yǔ)句,并根據(jù)上寫(xiě)的要求新定義了UPLEVEL語(yǔ)句,并證明了其正確性.最后,采用視圖法實(shí)現(xiàn)多級(jí)關(guān)系與單級(jí)關(guān)系之間的映射,通過(guò)將多級(jí)關(guān)系分解為傳統(tǒng)的單級(jí)關(guān)系,使得對(duì)多級(jí)關(guān)系的操作分解為傳統(tǒng)的單級(jí)關(guān)系操作,簡(jiǎn)化了安全控制的實(shí)現(xiàn).在具體實(shí)現(xiàn)方面,依照上述模型的具體實(shí)現(xiàn)算法,不僅實(shí)現(xiàn)了單級(jí)關(guān)系與多級(jí)關(guān)系之間的轉(zhuǎn)換,而且實(shí)現(xiàn)了數(shù)據(jù)庫(kù)數(shù)據(jù)項(xiàng)級(jí)的強(qiáng)制訪問(wèn)