公平交换协议公平性的串空间分析方法

摘要：

公平交换协议的结构常常比较复杂，可能由多个子协议组合而成，并不一定按顺序结构执行协议。因此，公平交换协议的公平性分析需要选择适宜的形式化方法。扩展了串空间逻辑，利用扩展后的串空间轨迹图分析了在线TTP类型协议的公平性；利用扩展的发送边和主动测试定理，对离线TTP类型协议的公平性进行了分析，分别提供了具有可信第三方参与的两种主要类型的公平交换协议公平性的形式化分析方法。

关键词： 串空间 公平交换协议 形式化分析 可信第三方

作者: 李雪 周清雷 李娟

作者单位: 郑州大学信息工程学院 郑州 450001 郑州安然测控设备有限公司 郑州 450006

会议类型: 国内会议

会议名称: 2009国际信息技与应用论坛

会议地点: 成都

会议语种:中文

页码: 410-412,416

在线出版日期: 2009-05-15（万方平台首次上网日期，不代表论文的发表时间）