基于GB-RBAC的嵌入式安全內(nèi)核的設(shè)計與實現(xiàn).pdf

1、隨著嵌入式系統(tǒng)的廣泛應(yīng)用及發(fā)展，越來越多的嵌入式系統(tǒng)開始采用了操作系統(tǒng)。然而，嵌入式操作系統(tǒng)的安全性卻始終被忽視，而與此對應(yīng)的是越來越多的針對嵌入式系統(tǒng)的攻擊。因此，嵌入式操作系統(tǒng)的安全性是嵌入式操作系統(tǒng)不可或缺的。
　　嵌入式操作系統(tǒng)安全性主要靠訪問控制來增強。訪問控制分為自主訪問控制(DAC)強制訪問控制(MAC)及基于角色的訪問控制(RBAC)三類。DAC是讓客體（資源的載體）的屬主決定該客體可接受的訪問類別；而MAC是讓系

2、統(tǒng)的安全策略來決定一次主體對客體的訪問。RBAC與以上兩類訪問控制策略都不同，它是策略中性的，而且它支持最小特權(quán)和權(quán)職分離的特點，使得其發(fā)展十分迅速。本文將詳細(xì)介紹RBAC模型，并指出它的先進之處。隨后本文將針對Core-RBAC模型分析其在實際應(yīng)用上的不足，尤其是在實際應(yīng)用中不便之處，然后針對這些不足，介紹GB-RBAC模型，并說明GB-RBAC模型為何更適合操作系統(tǒng)中的實際應(yīng)用需要。
　　本文實現(xiàn)了GB-RBAC模型的擴充，采

3、用了靜態(tài)職責(zé)分離，并加入了三條形式化說明的約束：對象組成員完全互斥、非法操作集約束、角色防冗余約束。其中對象組完全互斥使得每一個客體只能被分配到一個對象組中，從而使得該客體被分配到的訪問控制權(quán)限唯一；非法操作集保證了權(quán)職分離原則，限制某些角色的權(quán)利過大；防冗余約束防止兩個擁有完全相同權(quán)限的角色出現(xiàn)，保證了角色不存在冗余。另外，本系統(tǒng)還加入了對于Linux內(nèi)核模塊載入的監(jiān)視，防止了系統(tǒng)安全機制自身受到破壞。本文還在廣泛應(yīng)用于嵌入式系統(tǒng)的L