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

作     者：卿斯汉 李改成 

作者机构：中国科学院软件研究所 

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

出 版 物：《中国科学（E辑）》 (Science in China(Series E))

年 卷 期：2006年第36卷第6期

页      码：598-616页

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

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

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1006-9275.2006.06.003

馆 藏 号：203301258...