Fig. 4From: An ECC-based mutual data access control protocol for next-generation public cloudProVerif code and resultBack to article page