uC-OS-Ⅱ的安全訪問(wèn)控制關(guān)鍵技術(shù)研究.pdf

1、嵌入式系統(tǒng)正在人們的生活和工作中扮演著越來(lái)越重要的角色，它們幾乎無(wú)處不在。隨著計(jì)算機(jī)和網(wǎng)絡(luò)的發(fā)展，越來(lái)越多的嵌入式設(shè)備接入了互聯(lián)網(wǎng)，計(jì)算資源的共享跨越了空間和時(shí)間的限制，信息安全的問(wèn)題顯得越來(lái)越重要。在通用系統(tǒng)安全的研究經(jīng)驗(yàn)中人們得到，要從根本上保障系統(tǒng)的安全，必須從安全操作系統(tǒng)的研究入手。嵌入式操作系統(tǒng)與通用操作系統(tǒng)一樣是系統(tǒng)的核心和基石，安全嵌入式操作系統(tǒng)是保障嵌入式系統(tǒng)安全的根本。長(zhǎng)期以來(lái)，我國(guó)廣泛使用的PC或嵌入式主流操作系統(tǒng)都

2、是從國(guó)外引進(jìn)直接使用的產(chǎn)品。從國(guó)外引進(jìn)的操作系統(tǒng)，其安全性難以令人放心。開(kāi)發(fā)具有我國(guó)自主版權(quán)的通用及嵌入式安全操作系統(tǒng)平臺(tái)是我國(guó)信息產(chǎn)業(yè)的迫切需要。本論文的研究正是在此基礎(chǔ)上開(kāi)展的。 本文的研究目的是在嵌入式操作系統(tǒng)內(nèi)核uC/OS-Ⅱ基礎(chǔ)上增加系統(tǒng)的安全訪問(wèn)控制功能，并實(shí)現(xiàn)二者的無(wú)縫結(jié)合。訪問(wèn)控制研究是安全操作系統(tǒng)研究中的一個(gè)關(guān)鍵問(wèn)題，本文較為詳細(xì)地分析、比較了現(xiàn)有通用操作系統(tǒng)的各種訪問(wèn)控制技術(shù)，同時(shí)對(duì)uC/OS-Ⅱ深入分析。

3、 在上述基礎(chǔ)上根據(jù)訪問(wèn)控制通用框架(GFAC)方法，基于HRU模型的自主訪問(wèn)控制和基于Bell-LaPadula模型多級(jí)安全規(guī)則的強(qiáng)制訪問(wèn)控制兩種安全策略被實(shí)現(xiàn)。其中針對(duì)Bell-LaPadula模型的無(wú)完整性控制的不足，本文借鑒Biba模型對(duì)Bell-LaPadula模型進(jìn)行了改進(jìn)，從而有效地增強(qiáng)了操作系統(tǒng)中信息的保密性和完整性。建立了一個(gè)初步的安全uC/OS-Ⅱ模型，達(dá)到了安全模塊與uC/OS-Ⅱ的無(wú)縫結(jié)合，還保持了uC/OS