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

Search Results

Help

Item hits: (Results 11-20 of 20)

Items/Page:    Sort:
HyperCrop: A Hypervisor-Based Countermeasure for Return Oriented Programming [会议论文]
International Conference on Information and Communications Security, Friendship Hotel, Haidian District, Beijing, China, 2011/11/23-2011/11/26
Jun Jiang; Xiaoqi Jia; Dengguo Feng; Shengzhi Zhang; Peng Liu
  |  
 
peda: comprehensive damage assessment for production environment server systems [期刊论文]
IEEE Transactions on Information Forensics and Security, 2011-01-01, 卷号: 6, 期号: 4, 页码: 1323-1334
Zhang Shengzhi; Jia Xiaoqi; Liu Peng; Jing Jiwu

 
value-based program characterization and its application to software plagiarism detection [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Jhi Yoon-Chan; Wang Xinran; Jia Xiaoqi; Zhu Sencun; Liu Peng; Wu Dinghao
  |  
 
local lemma: a new strategy of pruning in sat solvers [会议论文]
25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22,
Jia Xiangxue; Lu Runming; Liu Sheng; Zhang Jian
  |  
 
cross-layer comprehensive intrusion harm analysis for production workload server systems [会议论文]
26th Annual Computer Security Applications Conference, ACSAC 2010, Austin, TX, United states, 40883
Zhang Shengzhi; Jia Xiaoqi; Liu Peng; Jing Jiwu
  |  
 
chinese cardiovascular disease database (ccdd) and its management tool [会议论文]
10th IEEE International Conference on Bioinformatics and Bioengineering, BIBE-2010, Philadelphia, PA, United states, 43982
Jia-Wei Zhang; Li-Ping Wang; Xia Liu; Hong-Hai Zhu; Jun Dong

 
a complete symbolic bisimulation for full applied pi calculus [会议论文]
36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, CZECH REPUBLIC, JAN 23-29,
Liu Jia; Lin Huimin
  |  
 
groupability in security policy models [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1953-1966
Cai Jia-Yong; Qing Si-Han; Liu Wei
  |  
 
implicit authorization analysis of role-based administrative model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 4, 页码: 1048-1057
Liu Wei; Cai Jia-Yong; He Ye-Ping
  |  
 
logic programs with abstract constraints: representaton, disjunction and complexities [会议论文]
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966
You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong
  |  
 

previous 1 2

 

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