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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters        
Items/Page:    Sort:
基于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
张宏; 贺也平; 石志国
  |  
 
Linux可信路径安全机制研究及改进 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 3, 页码: 109
臧锐; 贺也平; 朱继峰
  |  
 
一种基于RBAC的电子商务匿名性与可追究性实现方案 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 7, 页码: 86-89
马勇; 卿斯汉; 贺也平
  |  
 
基于交通路网的移动对象数据库系统的研究和设计 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 8, 页码: 278
纪鹏程; 丁治明; 陈滨; 韩京宇
  |  
 

1

 

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