|
|||||
|
|
| 多方公平交换协议的形式化分析和设计 | |
| 作者姓名： | 卿斯汉 李改成 |
| 作者单位： | 1. 中国科学院软件研究所,北京,100080;中国安胜信息技术有限公司,北京,100080;中国科学院研究生院,北京,100039 2. 中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100039 |
| 基金项目： | 北京市自然科学基金;中国科学院资助项目;科技部科研项目 |
| 摘 要： | 通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计. |
| 关 键 词： | 公平交换 逻辑协议 形式化模型 安全需求 |
| 收稿时间： | 2005-02-02 |
| 修稿时间： | 2005-02-022005-10-15 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |