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

Table 8

Communication complexity.

Protocol	Communication cost (bits)
[1]	(1)+(2)+(3)+(4)+(5)+(6)+(7)+(8)+(9)=(80+80+160+24)+(80+80+80+80+160+160)+(80+80+80)+(80)+(80+160+64)+; (80+24)+(80+24+64+128)+(80)+(24+80)=2192n
[5]	(1)+(2)+(3)+(4)+(5)+(6)= (160)+(64+160+80)+(64+48)+(64)+(64)+(64)=768n
[6]	(1)+(2)+(3)+(4)+(5)=(128)+(160+80+104+160+64+128)+(128)+(128)+(80+80+128+128)=1496n
[7]	(1)+(2)+(3)+(4)+(5)+(6)=80+128+80+128+80+128+80+128)+(128+128+128+80+128+128+128+80)+(80+64+128+128+80+160); +(80+64+128+160)+(128+64+80+128+160)+(128+80+128)=3728n
[8]	(1)+(2)+(3)+(4)+(5)= (40+80+128+24)+(80)+(40+160)+(128+128+64+160)+(128)=1160n
[3]	(1)+(2)+(3)+(4)+(5)= (80+80+160)+(80+80)+(80)+(80+160+64)+(80)=944n
[9]	(1)+(2)+(3)+(4)+(5)= (80+80+160)+(80+80)+(80)+(80+160+64)+(80)=944n
[25]	(1)+(2)+(3)+(4)+(5)+(6)=(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)+(160+128+128+128+128+80)+(160+128+128+128+128+80); +(128+80+128)=4592n
Making Payment	(1)+(2)+(3)+(4)+(5)+(6)+(7)=80+80+80+160+80+160+160)+(160+160+160+80)+(24+160+160)+(160+160+160); +(160+160+160+160+160+160+160+160+160)+(160+160+160); +(48+24+40+160+160+160+160+160)=5016n