Research Article

A Secure Fair Exchange for SMS-Based Mobile Payment Protocols Based on Symmetric Encryption Algorithms with Formal Verification

Table 9

Computational complexity.

ProtocolComputational cost

[1]f2, f2, , , f2, f1, , f1, , , =11n

[5], , , =4n

[6], f3, , =4n

[7], , , , f2, , f2, , f2, =10n

[8]f3, . f3, , f2, , , =8n

[3]f2, , , f1, f2, f1, =7n

[9]f2, , , f1, f2, f1, =7n

[25], , , , , , f2, , f2, =10n

Making Paymentf2, , f3, , f3, , f2, , f3, , f3, , , , , f2, =17n