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

Search Results

Help

Item hits: (Results 1-10 of 17)

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
  |  
 
Quantitatively Measure Access Control Mechanisms Across Different Operating Systems [会议论文]
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Cheng, Liang; Zhang, Yang; Han, Zhihui

 
secguard: secure and practical integrity protection model for operating systems [会议论文]
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Zhai Ennan; Shen Qingni; Wang Yonggang; Yang Tao; Ding Liping; Qing Sihan
  |  
 
一种基于可信计算的分布式使用控制系统 [期刊论文]
计算机学报, 2010-01-01, 卷号: 33, 期号: 1, 页码: 93-102
初晓博; 秦宇
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
基于管道的TCB扩展模型 [期刊论文]
北京工业大学学报, 2010-01-01, 卷号: 36, 期号: 5, 页码: 592-596
廖建华; 赵勇; 沈昌祥
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
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
李松林; 袁春阳; 朱继峰; 淮晓永; 梁洪亮; 贺也平
  |  
 
基于安全操作系统的电子证据获取与存储 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7, 页码: 1715-1729
丁丽萍; 周博文; 王永吉
  |  
 

1 2 next

 

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