Login / Signup
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