States on EMV-algebras.

Anatolij Dvurecenskij Omid Zahiri

Published in: Soft Comput. (2019)

Keyphrases

comprehensive analysis
security mechanisms
payment systems
formal analysis
payment protocol
lightweight