Formal Analysis of a Model For Electronic Payment Systems
Chen Wang, Nina Shu, Huaixi Wang · 2017
A model that generalizes credit-card-based electronic payment systems is analyzed by BAN logic and Kailar logic. This paper extends Kailar logic to process the analysis of ciphertext. This paper provides a new method to analyze ciphertext.