CORC  > 重庆大学
公平交换协议形式逻辑 Formal Logic for Fair Exchange Protocols
陈明[1]; 吴开贵[1]; 吴长泽[1]; 徐洁[1,2]; 吴中福[1]
2011
卷号22页码:509-521
URL标识查看原文
内容类型期刊论文
URI标识http://www.corc.org.cn/handle/1471x/3000945
专题重庆大学
推荐引用方式
GB/T 7714
陈明[1],吴开贵[1],吴长泽[1],等. 公平交换协议形式逻辑 Formal Logic for Fair Exchange Protocols[J],2011,22:509-521.
APA 陈明[1],吴开贵[1],吴长泽[1],徐洁[1,2],&吴中福[1].(2011).公平交换协议形式逻辑 Formal Logic for Fair Exchange Protocols.,22,509-521.
MLA 陈明[1],et al."公平交换协议形式逻辑 Formal Logic for Fair Exchange Protocols".22(2011):509-521.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace