Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing

Table 5

Group operations analysis in each phase of our single-mode protocol. In the table, “” represents a paring operation in the protocol; and denote an exponentiation operation in group or , respectively; similarly, and denote a multiplication operation in groups and , respectively; “,” respectively, represent the maximum input size and the row’s number in the sharing matrix .

Step	Description	Performer	Operations
(1)	System initialization	Pilot vessel
(2)	Evaluation key generation	Pilot vessel
(3)	Problem generation	Any vessel
(4)	Compute	Cloud
(5)	Verification	Anyone