Title: | 达到B级安全的PMI研究与设计 |
Author: | 冷健
; 谢冬青
|
Keyword: | 监控器模型,授权管理基础设施,安全域,安全对象代理
|
Source: | 计算机应用研究
|
Issued Date: | 2005
|
Issue: | 4, Pages:47-48,51 | Indexed Type: | cnki
|
Department: | 湖南大学计算机与通信学院,湖南大学计算机与通信学院 湖南长沙410012,湖南长沙410012中国科学院软件所计算机科学重点实验室,北京100081
|
Abstract: | 现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型,并且将BSK内核应用于PMI体系结构设计中,设计和实现了达到B级安全的PMI。 |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/12422
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
达到B级安全的PMI研究与设计.pdf(162KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
冷健,谢冬青. 达到B级安全的PMI研究与设计[J]. 计算机应用研究,2005-01-01(4):47-48,51.
|
|
|