Formal Method for Security Analysis of Electronic Payment Protocols.

Published in: IEICE Trans. Inf. Syst. (2018)

Keyphrases