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

Search Results

Help

Item hits: (Results 1-10 of 18)

Filters    
Items/Page:    Sort:
some improvements to the cost-based framework for analyzing denial of service attacks [会议论文]
Trusted Systems Third International Conference, INTRUST 2011, Beijing China, 2011
Yue Qinggang; Liu Feng; Xue Rui

 
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
  |  
 
asm-spv: a model checker for security protocols [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
sat-based verification of ltl formulas [会议论文]
11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27,
Zhang Wenhui
  |  
 
a practical alternative to domain and type enforcement integrity formal models [会议论文]
2nd SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, NOV 29-DEC
Tang Liuying; Qing Sihan
  |  
 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 

1 2 next

 

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