| 多方公平交换协议的形式化分析和设计 |
| 卿斯汉; 李改成
|
| 2006
|
| 发表期刊 | 中国科学E辑
 |
| ISSN | 1006-9275
|
| 卷号 | 36期号:6页码:598-616 |
| 摘要 | 通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计. |
| 关键词 | 公平交换
逻辑协议
形式化模型
安全需求
多方公平交换协议
形式化分析
事件
各种关系
细粒度
交易方
层次化
组成
信道
消息
设计
起源
模型
检测
规范
安全
|
| 部门归属 | 中国科学院软件研究所,北京,100080;中国安胜信息技术有限公司,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100039
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11644
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
卿斯汉,李改成. 多方公平交换协议的形式化分析和设计[J]. 中国科学E辑,2006,36(6):598-616.
|
| APA |
卿斯汉,&李改成.(2006).多方公平交换协议的形式化分析和设计.中国科学E辑,36(6),598-616.
|
| MLA |
卿斯汉,et al."多方公平交换协议的形式化分析和设计".中国科学E辑 36.6(2006):598-616.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论