QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 CSP-E2: An abuse-free contract signing protocol with low-storage TTP for energy-efficient electronic transaction ecosystems 期刊论文 Information Sciences, 2019, 卷号: Vol.476, 页码: 505-515 作者:  Xu, G.a;  Zhang, Y.a;  Sangaiah, A.K.b;  Li, X.a;  Castiglione, A.c 收藏  |  浏览/下载：14/0  |  提交时间：2019/11/21 Energy-efficiency  Contract signing protocol  Low-storage TTP  Abuse-freeness  Proxy key   Game-based verification of contract signing protocols with minimal messages 期刊论文 Innovations in Systems and Software Engineering, 2012, 卷号: 8, 期号: 2, 页码: 111-124 作者:  Ying Zhang;  Chenyi Zhang;  Jun Pang;  Sjouke Mauw 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/23 Contract signing  Alternating-time temporal logic  Model checking  Fairness  Abuse-freeness   Analysis and improvement of the CS-based fair exchange protocol 期刊论文 tongxin xuebaojournal on communications, 2010 Sun, Yan-Bin; Gu, Li-Ze; Sun, Yan; Qing, Si-Han; Yang, Yi-Xian; Chen, Guang-Hui 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17 a formal model of fair exchange protocols 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 卷号: 48, 期号: 4, 页码: 499-512 Qing SH; Li GC 收藏  |  浏览/下载：17/0  |  提交时间：2011/07/28 events  local causal relation  local temporal relation  global relation  exchanged item  security goals   Fair payment protocols for & commerce (CPCI-S收录) 会议论文 BUILDING THE E-SERVICE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT 作者:  Wang, H;  Guo, HQ 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/18 electronic commerce  offline payment  fairness  abuse-freeness