中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters    
Items/Page:    Sort:
基于半虚拟技术的嵌入式分区系统设计与实现 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 1, 页码: 132-137
李剑; 胡晓惠; 赵军锁
  |  
 
一种基于完整性度量架构的数据封装方法 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 1, 页码: 210-216
沈晴霓; 杜虹; 文汉; 卿斯汉
  |  
 
虚拟机指令级重放技术的研究与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
周鹏
  |  
 
一种基于可信计算的分布式使用控制系统 [期刊论文]
计算机学报, 2010-01-01, 卷号: 33, 期号: 1, 页码: 93-102
初晓博; 秦宇
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
基于管道的TCB扩展模型 [期刊论文]
北京工业大学学报, 2010-01-01, 卷号: 36, 期号: 5, 页码: 592-596
廖建华; 赵勇; 沈昌祥
  |  
 
面向入侵的取证系统框架 [期刊论文]
计算机应用研究, 2008-01-01, 卷号: 25, 期号: 4, 页码: 1117-1119
周博文; 丁丽萍; 王永吉
  |  
 
安全操作系统中基于安全性损害分析的可信恢复 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 264
李松林; 袁春阳; 朱继峰; 淮晓永; 梁洪亮; 贺也平
  |  
 
基于安全操作系统的电子证据获取与存储 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7, 页码: 1715-1729
丁丽萍; 周博文; 王永吉
  |  
 
一种支持动态调节的最小特权安全策略架构 [期刊论文]
电子学报, 2006-01-01, 卷号: 34, 期号: 10, 页码: 1803-1808
沈晴霓; 卿斯汉; 贺也平; 李丽萍
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace