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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
基于PVS的数据库安全策略形式化分析方法 [期刊论文]
中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕

 
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
towards a secure distribute storage system [会议论文]
10th International Conference on Advanced Communication Technology, Phoenix Pk, SOUTH KOREA, FEB 17-20,
Zhang Min; Zhang Desheng; Xian Hequn; Chen Chi; Feng Dengguo
  |  
 
数据库管理系统多民族语言支持研究 [期刊论文]
中文信息学报, 2006-01-01, 卷号: 20, 期号: 2, 页码: 94-100
程伟; 林河水; 吴健; 孙玉芳
  |  
 

1

 

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