Institutional Repository
| 达到B级安全的PMI研究与设计 | |
| 冷健; 谢冬青 | |
| 2005 | |
| Source | 计算机应用研究
 |
| Issue | 4Pages:47-48,51 |
| English Abstract | 现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型,并且将BSK内核应用于PMI体系结构设计中,设计和实现了达到B级安全的PMI。 |
| Indexed Type | cnki |
| Keyword | 监控器模型,授权管理基础设施,安全域,安全对象代理 |
| Department | 湖南大学计算机与通信学院,湖南大学计算机与通信学院 湖南长沙410012,湖南长沙410012中国科学院软件所计算机科学重点实验室,北京100081 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12422 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 冷健,谢冬青. 达到B级安全的PMI研究与设计[J]. 计算机应用研究,2005(4):47-48,51. |
| APA | 冷健,&谢冬青.(2005).达到B级安全的PMI研究与设计.计算机应用研究(4),47-48,51. |
| MLA | 冷健,et al."达到B级安全的PMI研究与设计".计算机应用研究 .4(2005):47-48,51. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 达到B级安全的PMI研究与设计.pdf（162KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment