Design and correctness proof of a security protocol for mobile banking.

Dalton Li David Lin Grace Zhao Brian Huang

Published in: Bell Labs Tech. J. (2009)

Keyphrases

mobile devices
design process
security protocols
mobile phone
response time
knowledge management
engineering design
artificial immune algorithm