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

Search Results

Help

Item hits: (Results 1-10 of 36)

Items/Page:    Sort:
Designing and Modeling of Covert Channels in Operating Systems [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  
 
Authenticated key exchange with entities from different settings and varied groups [期刊论文]
SECURITY AND COMMUNICATION NETWORKS, 2016-01-01, 卷号: 9, 期号: 12, 页码: 1843-1863
Guo, YF; Zhang, ZF

 
PRE: Stronger security notions and efficient construction with non-interactive opening [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 542, 页码: 1-16
Zhang, Jiang (1); Zhang, Zhenfeng (1); Chen, Yu (3)

 
带有空间上下文信息的细粒度Android安全强化机制的设计 [期刊论文]
计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 5, 页码: 285-290,315
任桂超; 丁丽萍; 贺也平

 
一种基于UML的网络安全体系建模分析方法 [期刊论文]
计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮
  |  
 
应用规律下的BLP模型密级赋值方法 [期刊论文]
通信学报, 2013-01-01, 卷号: 34, 期号: 9, 页码: 144-151
董婵; 范修斌; 李有文; 王建荣

 
cmqv+: an authenticated key exchange protocol from cmqv [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2012-01-01, 卷号: 55, 期号: 7, 页码: 1666-1674
Li Hui; Wu ChuanKun

 
an software vulnerability number prediction model based on micro-parameters [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011-01-01, 卷号: 48, 期号: 7, 页码: 1279-1287
Nie Chujiang; Zhao Xianfeng; Chen Kai; Han Zhengqing
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 

1 2 3 4 next

 

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