Morphisms on $${ EMV}$$ EMV -algebras and their applications.

Anatolij Dvurecenskij Omid Zahiri

Published in: Soft Comput. (2018)

Keyphrases

comprehensive analysis
security mechanisms
payment systems
payment protocol
formal analysis
security issues
credit card
mobile commerce
high volume
resource constrained
operating system
smart card
security protocols
real time
anomaly detection
biometric authentication