中国科学院机构知识库网格系统: 检索

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	达到B级安全的PMI研究与设计期刊论文 OAI收割计算机应用研究, 2005, 期号: 4, 页码: 47-48,51 冷健; 谢冬青 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/28 监控器模型,授权管理基础设施,安全域,安全对象代理