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

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters        
Items/Page:    Sort:
同步数据流模型调度序列的空间优化 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 3, 页码: 198-201
刘国鑫; 谭国强; 贺也平
  |  
 
安全ARP的Clark-Wilson模型化 [期刊论文]
计算机科学, 2008-01-01, 卷号: 35, 期号: 1, 页码: 64-66
陈小岩; 贺也平; 徐梓耀; 邓灵莉
  |  
 
一种改进的数据求精证明规则 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 1, 页码: 23-25
张宏; 贺也平; 石志国
  |  
 
基于CTL的循环优化变换描述方法 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 49
夏勇; 薛云志; 陶秋铭; 赵琛
  |  
 
基于时序逻辑的编译优化测试用例生成方法 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 46-48
夏勇; 薛云志; 赵琛
  |  
 
一种面向TTCN-3测试系统的共享内存管理框架 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 157-161
应群; 陈伟; 赵琛
  |  
 
使用CC标准开发的高保证安全信息系统 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 17
袁春阳; 贺也平; 潘学俭; 梁洪亮
  |  
 
安全操作系统中基于安全性损害分析的可信恢复 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 264
李松林; 袁春阳; 朱继峰; 淮晓永; 梁洪亮; 贺也平
  |  
 
访问验证保护级安全操作系统审计机制研究 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 5, 页码: 101-104
丁兴邦; 贺也平; 朱继峰
  |  
 
一个支持空间上下文的访问控制形式模型 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 254-271
张宏; 贺也平; 石志国
  |  
 

1 2 next

 

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