達到Ｂ級安全的ＰＭＩ研究與設計

摘 要：現代軟件系統內核采用面向對象的方法，提供對內核數據結構的保護和隱藏，但是內核的安全性設計始終沒有到達理想狀態。因此，在面向對象的內核設計中引入安全內核模型可以改善內核設計的安全性問題。提出的BSK安全模型是一種達到B級安全的輕量級安全內核模型，并且將BSK內核應用于PMI體系結構設計中，設計和實現了達到B級安全的PMI。

關鍵詞：監控器模型；授權管理基礎設施；安全域；安全對象代理

中圖法分類號：TP311

文獻標識碼：A

文章編號：1001—3695(2005)04—0047—02