Abstract
During the past few decades electronic payment protocols has been studied. A lot of electronic payment protocols, for example, 3KP, SET, have been proposed which claimed that have security properties. To our best knowledge, till now analysis of 3KP protocol has not with automatic tool in computational model. Recently owning to the contribution of Meng et al., 3KP protocol can be analyzed with automatic tool in computational model. In this study firstly the state-of-art of electronic payment protocol and the proof are presented. Then the term, process and correspondence assertion in Blanchet calculus are used to model accountability and 3KP protocol with Meng et al. mechanized framework of electronic payment protocols in computational model with active adversary. Finally, 3KP protocol is analyzed in Meng et al. framework with mechanized tool CryptoVerif. The result shows that 3KP protocol has money accountability and goods accountability, which is consistent with its claim. To our knowledge, we are conducting the first automatic analysis of 3KP protocol in computational model.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: International Journal of Advancements in Computing Technology
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.