Novel Logical Method for Security Analysis of Electronic Payment Protocols

Yi Liu, Xingtong Liu, Lei Zhang +2

Electronic payment protocols play a vital role in electronic commerce security, which is essential for secure operation of electronic commerce activities. Formal method is an effec…