Research Article
PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing
Algorithm 1
The query phase of verifiable contact tracing over an individual.
| ADS Generation (by the client) | | for each recordsover an individual of the client do | | ; | | end | | ; | | ; | | Store in the client side; | | VO Construction (by the ) | | Input: Query | | if then | | ; | | ; | | ; | | ; | | Send to the client; | | end | | Result Verification(by the client) | | if then | | if then | | Output: | | else | | Output: | | end | | end |
|