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

Search Results

Help

Item hits: (Results 1-10 of 22)

Filters    
Items/Page:    Sort:
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

 
syncchecker: detecting synchronization errors between mpi applications and libraries [会议论文]
2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21, 2012 - May 25, 2012
Chen Zhezhe; Li Xinyu; Chen Jau-Yuan; Zhong Hua; Qin Feng

 
a covert channel using core alternation [会议论文]
26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26, 2012 - March 29, 2012
Li Yangwei; Shen Qingni; Zhang Cong; Sun Pengfei; Chen Ying; Qing Sihan

 
a practical covert channel identification approach in source code based on directed information flow graph [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Wu JingZheng; Ding Liping; Wang Yongji; Han Wei
  |  
 
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
  |  
 
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

 

1 2 3 next

 

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