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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 
donet-vod: a hybrid overlay solution for efficient peer-to-peer video on demand services [会议论文]
2008 IEEE International Conference on Multimedia and Expo, ICME 2008, Hannover, Germany, 37430
Xu Changqiao; Muntean Gabriel-Miro; Fallon Enda; Li Xiaoguang
  |  
 
efficient concurrent zero knowledge arguments for np in the bare public-key model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2008-01-01, 卷号: 19, 期号: 2, 页码: 468-478
Deng Yi; Lin Dong-Dai

 
一种基于身份的多信任域认证模型 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1271-1281
彭华熹
  |  
 
时间符号迁移图上的可达性分析 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
 
安全网络数学计算协议 [期刊论文]
中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 271-277
林东岱; 宋志敏

 
异构分布环境下企业计算模型的研究与实现 [期刊论文]
电子学报, 2002-01-01, 卷号: 30, 期号: 11, 页码: 1681-1684
詹敏; 左春; 孙玉芳

 
安全网络数学计算协议 [期刊论文]
中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 271-277
林东岱; 宋志敏
  |  
 

1

 

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