机构

• 软件研究所 [14]
• 计算技术研究所 [1]

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [11]
• 学位论文 [4]

发表日期

• 2008 [2]
• 2007 [1]
• 2006 [7]
• 2004 [2]
• 2003 [1]
• 2002 [2]
• 更多

学科主题

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 高安全等级操作系统形式化开发技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17 安全操作系统  形式化  形式化安全策略模型  形式化顶层规范  求精  安全体系结构  微内核   一种可配置的可信引导系统 期刊论文  OAI收割 中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 626-630 徐震; 沈丽红; 汪丹   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/06/10 可信平台模块  可信引导  可信计算  可配置  引导系统  系统安全  有效实现  引导过程  验证  系统引导  系统内核  设计思想  可信恢复  证据链  细粒度  计算机  原型  文件  实验  认证  目标   FreeBSD中内核级安全审计系统的构建 期刊论文  OAI收割 计算机工程与设计, 2007, 期号: 5, 页码: 1007-1011 潘学俭; 袁春阳; 梁洪亮; 吕洪利   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/01 内核  安全  审计子系统  国家标准  效率   内核级安全审计的研究和实现 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 潘学俭 收藏  |  浏览/下载：18/0  |  提交时间：2011/03/17 安全操作系统  内核级  安全  审计系统  系统调用外内核事件   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   L2TP下可信的VPN方案设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 20, 页码: 157-159 黄浩; 谢冬青   |  收藏  |  浏览/下载：13/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 冷健; 谢冬青   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   L2TP下可信的VPN方案设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 20, 页码: 157-159 黄浩; 谢冬青   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/13 L2TP  CA  数字证书  IPSec  UDP  路由器  完整性认证  数据的处理  数字证书  身份认证  模型  工作内容  方案比较  多路呼叫  安全  隧道内  性能  试验  设计  内核  密钥  接入  架构  加密   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体