中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [3]
软件研究所 [3]
采集方式
OAI收割 [6]
内容类型
期刊论文 [6]
发表日期
2012 [1]
2006 [2]
2005 [1]
2001 [1]
2000 [1]
学科主题
筛选
浏览/检索结果:
共6条,第1-6条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
一种无线通信系统中调度碎片避免机制研究
期刊论文
OAI收割
系统仿真学报, 2012, 卷号: 24, 期号: 11, 页码: 2295
作者:
张玉成
;
黄亮
;
胡金龙
;
袁尧
;
石晶林
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2023/12/04
调度
碎片
模型
自动重传请求机制
逻辑信道
多方公平交换协议的形式化分析和设计
期刊论文
OAI收割
中国科学E辑, 2006, 卷号: 36, 期号: 6, 页码: 598-616
卿斯汉
;
李改成
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/07/13
公平交换
逻辑协议
形式化模型
安全需求
多方公平交换协议
形式化分析
事件
各种关系
细粒度
交易方
层次化
组成
信道
消息
设计
起源
模型
检测
规范
安全
一种新的共享密钥安全协议设计方法
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32.0, 期号: 011, 页码: 40
作者:
华东明
;
侯紫峰
;
韦卫
;
吴秋新
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
安全协议
主体
逻辑
信道
一种面向主体的密码协议设计逻辑
期刊论文
OAI收割
微电子学与计算机, 2005, 卷号: 22.0, 期号: 005, 页码: 46
作者:
华东明
;
侯紫峰
;
韦卫
;
吴秋新
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
主体
逻辑
认证
密钥协商
信道
一种分析电子商务协议的新工具
期刊论文
OAI收割
软件学报, 2001, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃
;
卿斯汉
;
周展飞
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2011/07/29
可追究性
电子商务
公平性
逻辑分析
协议
电子商务
协议
新工具
形式化分析方法
公平性分析
初始化
通信信道
可靠性
消息
密文
逻辑
加密
集合
环境
规则
公式Communication channels (information theory)
Cryptography
Logic design
Network protocols
Numerical analysis
Reliability
一种新型的非否认协议
期刊论文
OAI收割
软件学报, 2000, 卷号: 11, 期号: 10, 页码: 1338-1343
卿斯汉
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
非否认协议
SVO逻辑
可信第三方
仲裁方
非否认协议
概念和方法
欺骗行为
逻辑分析
证明
信道
缺陷
扩展
扩充
基础
草案
安全Algorithms
Communication channels (information theory)
Cryptography
Data processing
Formal logic
Security of data