L-PEP: a logic to reason about privacy-enhancing cryptography protocols
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
| Hi-index | 0.00 |
Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. However, most current protocol analysis methods can only be used to analyze part of properties required by electronic commerce protocols. Rubin logic is a good method for analyzing security protocols. Rubin logic has been extended to analyze electronic commerce protocols. In this paper, Zhou-Gollman protocol is chosen to illustrate how an electronic commerce protocol is analyzed using the extended Rubin logic. Not only the basic security properties but also non-repudiation, accountability and fairness of Zhou-Gollman protocol are analyzed. These are stunning confirmations of the validity of the extended Rubin logic for analyzing electronic commerce protocols.