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

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

帮助

条数/页：排序方式：
	高安全等级操作系统形式化开发技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 安全操作系统形式化形式化安全策略模型形式化顶层规范求精安全体系结构微内核
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	L2TP下可信的VPN方案设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 20, 页码: 157-159 黄浩; 谢冬青 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/13 L2TP CA 数字证书 IPSec UDP 路由器完整性认证数据的处理数字证书身份认证模型工作内容方案比较多路呼叫安全隧道内性能试验设计内核密钥接入架构加密
	L2TP下可信的VPN方案设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 20, 页码: 157-159 黄浩; 谢冬青 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/13 L2TP CA 数字证书 IPSec UDP 路由器完整性认证数据的处理数字证书身份认证模型工作内容方案比较多路呼叫安全隧道内性能试验设计内核密钥接入架构加密
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	L2TP下可信的VPN方案设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 20, 页码: 157-159 黄浩; 谢冬青 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/07/13 L2TP CA 数字证书 IPSec UDP 路由器完整性认证数据的处理数字证书身份认证模型工作内容方案比较多路呼叫安全隧道内性能试验设计内核密钥接入架构加密
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	一个应用于操作系统的RBAC模型及其实施期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 2, 页码: 287-298 单智勇; 孙玉芳 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 操作系统 RBAC 访问控制应用操作系统角色访问控制模型形式化描述可执行文件系统权限实施方法内核扩展框架经典基础安全
	WebFrame:一种多层次可扩展的Web应用服务器期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 451-460 范国闯; 林世彪; 董伟川; 胡建华; 冯玉琳 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 Web应用服务器微内核多层次扩展模型可重配置多层次可扩展模型应用服务器网络软件平台信息化基础自主研制主流趋势实现技术生命周期设计方法软件设施可重配置竞争焦点技术发展计算环境对比测试中间件微内核数据表灵活性Computer architecture Computer software selection and evaluation Distributed computer systems Open systems Quality of serv