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

Search Results

Help

Item hits: (Results 1-10 of 23)

Filters    
Items/Page:    Sort:
标准模型下通用可组合的口令认证密钥交换协议 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 11, 页码: 2820-2832
胡学先; 张振峰; 刘文芬

 
恶意软件网络协议的语法和行为语义分析方法 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 7, 页码: 1676-1689
应凌云; 杨轶; 冯登国; 苏璞睿

 
时间相关密码协议逻辑及其形式化语义 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
  |  
 
基于分布式协调模型的服务协作方法研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1470-1486
乔晓强; 魏峻; 黄涛
  |  
 
利用代理签名构造基于身份的优化公平交换协议 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 3, 页码: 746-754
徐静; 张振峰; 冯登国
  |  
 
基于安全多方计算的数字作品所有权证明 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 1, 页码: 157-166
朱岩; 杨永田; 孙中伟; 冯登国
  |  
 
一种认证密钥协商协议的安全分析及改进 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 4, 页码: 868-875
周永彬; 张振峰; 冯登国
  |  
 
一种电子商务协议形式化分析方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1757-1765
王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
  |  
 
串空间理论扩展 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1784-1789
沈海峰; 薛锐; 黄河燕; 陈肇雄
  |  
 
基于理想的协议安全性分析 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 12, 页码: 2150-2156
孙海波; 林东岱; 李莉
  |  
 

1 2 3 next

 

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