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

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

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

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