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

Search Results

Help

Item hits: (Results 11-20 of 42)

Items/Page:    Sort:
一种基于可信计算的分布式使用控制系统 [期刊论文]
计算机学报, 2010-01-01, 卷号: 33, 期号: 1, 页码: 93-102
初晓博; 秦宇
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
基于管道的TCB扩展模型 [期刊论文]
北京工业大学学报, 2010-01-01, 卷号: 36, 期号: 5, 页码: 592-596
廖建华; 赵勇; 沈昌祥
  |  
 
specifying and building a formal secure virtual monitor machine prototype [会议论文]
2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010, Beijing, China, 40842
Liang Hongliang; Ye Qiuping; Tian Shuo
  |  
 
zifi: wireless lan discovery via zigbee interference signatures [会议论文]
16th Annual Conference on Mobile Computing and Networking, MobiCom 2010, Chicago, IL, United states, September
Zhou Ruogu; Xiong Yongping; Xing Guoliang; Sun Limin; Ma Jian
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
ngoss data management solution based on web service [会议论文]
International Conference on Computational Intelligence and Natural Computing, Wuhan, PEOPLES R CHINA, JUN 06-07,
Dong Wenli

 
bifi: architectural support for information flow integrity measurement [会议论文]
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, 40878
Hao Hu; Dengguo Feng
  |  
 
面向入侵的取证系统框架 [期刊论文]
计算机应用研究, 2008-01-01, 卷号: 25, 期号: 4, 页码: 1117-1119
周博文; 丁丽萍; 王永吉
  |  
 

previous 1 2 3 4 5 next

 

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