多方公平交换协议的形式化分析和设计

摘要：

通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系, 提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型, 规范了能够更严格地反映公平交换协议内在要求的多种安全需求, 并对它们进行了细粒度的分解. 基于这一工作, 可高效细致地对多方公平交换协议进行分析、检测和设计.

关键词：公平交换、逻辑协议、形式化模型、安全需求

所属期刊栏目：36

分类号：TN91

资助基金：北京市自然科学基金4052016;中国科学院资助项目60573042;科技部科研项目G1999035802

在线出版日期：2006-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共19页

页码：598-616