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

作　　者：卿斯汉[1] 李改成[1] 

机构地区：[1]中国科学院软件研究所

出　　处：《中国科学（E辑）》2006年第6期598-616,共19页Science in China(Series E)

基　　金：北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(G1999035802)资助项目

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

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

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]