节点文献
多方公平交换协议的形式化分析和设计
【摘要】 通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于这一工作,可高效细致地对多方公平交换协议进行分析、检测和设计.
【基金】 北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(G1999035802)资助项目
- 【文献出处】 中国科学E辑:信息科学 ,Science in China(Series E:Information Sciences) , 编辑部邮箱 ,2006年06期
- 【分类号】TP393.04
- 【被引频次】4
- 【下载频次】181