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

Search Results

Help

Item hits: (Results 1-10 of 19)

Filters    
Items/Page:    Sort:
Designing and Modeling of Covert Channels in Operating Systems [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  
 
基于半虚拟技术的嵌入式分区系统设计与实现 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 1, 页码: 132-137
李剑; 胡晓惠; 赵军锁
  |  
 
一种基于完整性度量架构的数据封装方法 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 1, 页码: 210-216
沈晴霓; 杜虹; 文汉; 卿斯汉
  |  
 
explorations of the implementation of a parallel idw interpolation algorithm in a linux cluster-based parallel gis [期刊论文]
Computers and Geosciences, 2011-01-01, 卷号: 37, 期号: 4, 页码: 426-434
Huang Fang; Liu Dingsheng; Tan Xicheng; Wang Jian(王健); Chen Yunping; He Binbin

 
一种基于可信计算的分布式使用控制系统 [期刊论文]
计算机学报, 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
周博文; 丁丽萍; 王永吉
  |  
 
design of secure operating systems with high security levels [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007-01-01, 卷号: 50, 期号: 3, 页码: 399-418
Qing Sihan; Shen ChangXiang
  |  
 
安全操作系统中基于安全性损害分析的可信恢复 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 264
李松林; 袁春阳; 朱继峰; 淮晓永; 梁洪亮; 贺也平
  |  
 

1 2 next

 

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