位置:成果数据库 > 期刊 > 期刊详情页
基于ATL的公平交换协议的形式化验证
  • ISSN号:1002-8331
  • 期刊名称:《计算机工程与应用》
  • 时间:0
  • 分类:TN[电子电信]
  • 作者机构:Department of Computer Science, Jinan University, Guangzhou China, 510632
  • 相关基金:supported in part by National Natural Science Foundation of China under Grant (61070164,61272415); Natural Science Foundation of Guangdong Province, China under Grant (S2012010008767); Science and Technology Planning Project of Guangdong Province, China under Grant (2013B010401015)
中文摘要:

Unauthorized tampering with outsourced data can result in significant losses for both data owner and users.Data integrity therefore becomes an important factor in outsourced data systems.In this paper,we address this problem and propose a scheme for verifying the integrity of outsourced data.We first propose a new authenticated data structure for authenticating membership queries in sets based on accumulators,and then show how to apply it to the problem of verifying the integrity of outsourced data.We also prove that our scheme is secure under the q-strong DiffieHellman assumption.More importantly,our scheme has the constant cost communication,meanwhile keeping other complexity measures constant.Compared to previous schemes based on accumulators,our scheme reduces update cost and so improves previous schemes based on accumulators.In addition,the experimental comparison shows that our scheme outperforms the previous schemes.

英文摘要:

Unauthorized tampering with outsourced data can result in significant losses for both data owner and users. Data integrity therefore becomes an important factor in outsourced data systems. In this paper, we address this problem and propose a scheme for verifying the integrity of outsourced data. We first propose a new authenticated data structure for authenticating membership queries in sets based on accumulators, and then show how to apply it to the problem of verifying the integrity of outsourced data. We also prove that our scheme is secure under the q-strong Diffie-Hellman assumption. More importantly, our scheme has the constant cost communication, meanwhile keeping other complexity measures constant. Compared to previous schemes based on accumulators, our scheme reduces update cost and so improves previous schemes based on accumulators. In addition, the experimental comparison shows that our scheme outperforms the previous schemes.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊(2014版)
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编:怀进鹏
  • 地址:北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编:100083
  • 邮箱:ceaj@vip.163.com
  • 电话:
  • 国际标准刊号:ISSN:1002-8331
  • 国内统一刊号:ISSN:11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:97887