PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing
Contact tracing is a critical tool in containing epidemics such as COVID-19. Researchers have carried out a lot of work on contact tracing. However, almost all of the existing works assume that their clients and authorities have large storage space and powerful computation capability and clients can...
Main Authors: | , , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi-Wiley
2021-01-01
|
Series: | Security and Communication Networks |
Online Access: | http://dx.doi.org/10.1155/2021/5514137 |
id |
doaj-a51ad732a4964e66a796b016743028aa |
---|---|
record_format |
Article |
spelling |
doaj-a51ad732a4964e66a796b016743028aa2021-06-14T00:16:56ZengHindawi-WileySecurity and Communication Networks1939-01222021-01-01202110.1155/2021/5514137PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud ComputingYixiao Zhu0Wenjie Ma1Jiangtao Cui2Xiaofang Xia3Yanguo Peng4Jianting Ning5School of Computer Science and TechnologySchool of Computer Science and TechnologySchool of Computer Science and TechnologySchool of Computer Science and TechnologySchool of Computer Science and TechnologyCollege of Mathematics and InformaticsContact tracing is a critical tool in containing epidemics such as COVID-19. Researchers have carried out a lot of work on contact tracing. However, almost all of the existing works assume that their clients and authorities have large storage space and powerful computation capability and clients can implement contact tracing on their own mobile devices such as mobile phones, tablet computers, and wearable computers. With the widespread outbreaks of the epidemics, these approaches are of less robustness to a larger scale of datasets when it comes to resource-constrained clients. To address this limitation, we propose a publicly verifiable contact tracing algorithm in cloud computing (PvCT), which utilizes cloud services to provide storage and computation capability in contact tracing. To guarantee the integrity and accuracy of contact tracing results, PvCT applies a novel set accumulator-based authentication data structure whose computation is outsourced, and the client can check whether returned results are valid. Furthermore, we provide rigorous security proof of our algorithm based on the q-Strong Bilinear Diffie–Hellman assumption. Detailed experimental evaluation is also conducted on three real-world datasets. The results show that our algorithm is feasible within milliseconds of client CPU time and can significantly reduce the storage overhead from the size of datasets to a constant 128 bytes.http://dx.doi.org/10.1155/2021/5514137 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Yixiao Zhu Wenjie Ma Jiangtao Cui Xiaofang Xia Yanguo Peng Jianting Ning |
spellingShingle |
Yixiao Zhu Wenjie Ma Jiangtao Cui Xiaofang Xia Yanguo Peng Jianting Ning PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing Security and Communication Networks |
author_facet |
Yixiao Zhu Wenjie Ma Jiangtao Cui Xiaofang Xia Yanguo Peng Jianting Ning |
author_sort |
Yixiao Zhu |
title |
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing |
title_short |
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing |
title_full |
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing |
title_fullStr |
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing |
title_full_unstemmed |
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing |
title_sort |
pvct: a publicly verifiable contact tracing algorithm in cloud computing |
publisher |
Hindawi-Wiley |
series |
Security and Communication Networks |
issn |
1939-0122 |
publishDate |
2021-01-01 |
description |
Contact tracing is a critical tool in containing epidemics such as COVID-19. Researchers have carried out a lot of work on contact tracing. However, almost all of the existing works assume that their clients and authorities have large storage space and powerful computation capability and clients can implement contact tracing on their own mobile devices such as mobile phones, tablet computers, and wearable computers. With the widespread outbreaks of the epidemics, these approaches are of less robustness to a larger scale of datasets when it comes to resource-constrained clients. To address this limitation, we propose a publicly verifiable contact tracing algorithm in cloud computing (PvCT), which utilizes cloud services to provide storage and computation capability in contact tracing. To guarantee the integrity and accuracy of contact tracing results, PvCT applies a novel set accumulator-based authentication data structure whose computation is outsourced, and the client can check whether returned results are valid. Furthermore, we provide rigorous security proof of our algorithm based on the q-Strong Bilinear Diffie–Hellman assumption. Detailed experimental evaluation is also conducted on three real-world datasets. The results show that our algorithm is feasible within milliseconds of client CPU time and can significantly reduce the storage overhead from the size of datasets to a constant 128 bytes. |
url |
http://dx.doi.org/10.1155/2021/5514137 |
work_keys_str_mv |
AT yixiaozhu pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing AT wenjiema pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing AT jiangtaocui pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing AT xiaofangxia pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing AT yanguopeng pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing AT jiantingning pvctapubliclyverifiablecontacttracingalgorithmincloudcomputing |
_version_ |
1721378945436221440 |