Title: | 多方公平交换协议的形式化分析和设计 |
Author: | 卿斯汉
; 李改成
|
Keyword: | 公平交换
; 逻辑协议
; 形式化模型
; 安全需求
; 多方公平交换协议
; 形式化分析
; 事件
; 各种关系
; 细粒度
; 交易方
; 层次化
; 组成
; 信道
; 消息
; 设计
; 起源
; 模型
; 检测
; 规范
; 安全
|
Source: | 中国科学E辑
|
Issued Date: | 2006
|
Volume: | 36, Issue:6, Pages:598-616 | Department: | 中国科学院软件研究所,北京,100080;中国安胜信息技术有限公司,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100039
|
Abstract: | 通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11644
|
Appears in Collections: | 基础软件国家工程研究中心_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
多方公平交换协议的形式化分析和设计.pdf(458KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
卿斯汉,李改成. 多方公平交换协议的形式化分析和设计[J]. 中国科学E辑,2006-01-01,36(6):598-616.
|
|
|