中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
达到B级安全的PMI研究与设计

文献类型:期刊论文

作者冷健 ; 谢冬青
刊名计算机应用研究
出版日期2005
期号4页码:47-48,51
关键词监控器模型,授权管理基础设施,安全域,安全对象代理
中文摘要现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型,并且将BSK内核应用于PMI体系结构设计中,设计和实现了达到B级安全的PMI。
收录类别cnki
公开日期2011-07-28
源URL[http://124.16.136.157/handle/311060/12422]  
专题软件研究所_软件所图书馆_期刊论文
推荐引用方式
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.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。