Research Article

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

Table 10

Storage complexity.

ProtocolStorage cost

[1](1)+(2)+(3)+(4)=(80+80+160+24)+(80+160+64)+(80+24=104)+(24+80)=856n

[5](1)+(2)+(3)+(4)=(160)+(64+160+80)+(64+48)+(64)=640n

[6](1)+(2)+(3)= (128)+(160+80+104+160+64+128)+(80+80+128+128)=1240n

[7](1)+(2)+(3)=(80+128+80+128+80+128+80+128)+(128+128+128+80+128+128+128+80)+(80+64+128+128+80+160)=2400n

[8](1)+(2)+(3)=(40+80+128+24)+(128+128+64+160)+(128)=880n

[3](1)+(2)+(3)=(80+80+160)+(80+160+64)+(80)=704n

[9](1)+(2)+(3)=(80+80+160)+(80+160+64)+(80)=704n

[25](1)+(2)+(3)=(80+128+128+80+80+128+128+80)+(128+128+128+80+80+80+128+128+128+80+80+80)+ 
(128+80+128+128+80+128)=2752n

Making Payment(1)+(2)=(80+80+80+160+80+160+160)+(48+24+40+160+160+160+160+160)=1712n