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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
移动代理完整性协议形式化分析方法研究 [期刊论文]
电子学报, 2009-01-01, 卷号: 37, 期号: 8
李鹏飞; 马恒太; 侯玉文; 邱田
  |  
 
基于框架的形式化商务安全策略模型 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 2
温红子; 周永彬; 卿斯汉
  |  
 
电子数据证据收集系统保护机制的研究与实现 [期刊论文]
电子学报, 2004-01-01, 卷号: 32, 期号: 8, 页码: 1374-1380
孙波; 孙玉芳; 张相锋; 梁彬
  |  
 

1

 

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