中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Content Type
期刊论文 [18]
Language
Source
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 18)

Filters    
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, 卷号: 37, 期号: 2, 页码: 238-253
卿斯汉; 沈昌祥
  |  
 
一个支持空间上下文的访问控制形式模型 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 254-271
张宏; 贺也平; 石志国
  |  
 
信息安全综述 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2
沈昌祥; 张焕国; 冯登国; 曹珍富; 黄继武
  |  
 
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 
多方公平交换协议的形式化分析和设计 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 6, 页码: 598-616
卿斯汉; 李改成
  |  
 
CFL句子计数和分层词典序枚举 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 12
董韫美
  |  
 
基于单向陷门置换的长消息签密方案 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 8, 页码: 836-853
胡振宇; 林东岱; 吴文玲; 冯登国
  |  
 

1 2 next

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