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

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
一类基于图上随机游动的密钥共享体制 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 199-208
刘木兰; 肖亮亮; 张志芳
  |  
 
结合搜索空间划分和抽象进行LTL模型检测 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞; 张文辉
  |  
 
基于DNA技术的对称加密方法 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 175-182
卢明欣; 来学嘉; 肖国镇; 秦磊
  |  
 
基于口令的安全协议的模块化设计与分析 [期刊论文]
中国科学(E辑:信息科学), 2007-01-01, 期号: 2, 页码: 223-237
冯登国; 陈伟东
  |  
 
高等级安全操作系统的设计 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 238-253
卿斯汉; 沈昌祥
  |  
 
一个支持空间上下文的访问控制形式模型 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 254-271
张宏; 贺也平; 石志国
  |  
 
信息安全综述 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2
沈昌祥; 张焕国; 冯登国; 曹珍富; 黄继武
  |  
 
基于应用语义的网构软件松弛事务模型研究 [期刊论文]
中国科学E辑:信息科学, 2006-01-01, 期号: 10, 页码: 1170-1188
黄涛; 丁晓宁; 魏峻
  |  
 
一个新型流密码体制的安全性分析 [期刊论文]
中国科学E辑:信息科学, 2006-01-01, 期号: 4, 页码: 357-372
张斌; 冯登国
  |  
 
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 

1 2 3 next

 

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