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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
a novel security scheme for online banking based on virtual machine [会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Guan Bei; Wu Yanjun; Wang Yongji

 
detecting and correcting the index of dae by the combinatorial relaxation algorithm [会议论文]
2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2011, Wuxi, Jiangsu, China, October 14
Yan Yongxin; Zhang Xiaolei; Wu Xuesong; Cao Jianwen

 
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 
a self-adaptive energy-aware data gathering mechanism for wireless sensor networks [会议论文]
International Conference on Intelligent Computing, Hefei, PEOPLES R CHINA, AUG 23-26,
Sun LM; Yan TX; Bi YZ; Zhu HS
  |  
 
一种反应式SPM及其动态语义XYZ表示 [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2005-01-01, 卷号: 16, 期号: 11, 页码: 1876-1885
Dong Guang-Zhi; Liu Jun-Fei; Qi Xuan
  |  
 
a formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 

1

 

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