electronic commerce; transaction processing; protocols; mobile computing; cryptography; formal verification; accountability logic; mobile payment protocols; security properties; electronic commerce; e-commerce protocols; formal logics; symmetric cryptography; symmetric cryptographic messages; asymmetric cryptographic messages; payment transactions; protocol verification; formal method;
机译:移动支付协议的研究及其在移动设备上的性能评估
机译:绑架逻辑编程的责任协议
机译:移动支付系统:安全的网络架构和协议。
机译:用于移动支付协议的问责制逻辑
机译:具有改进的安全性和隐私性的高效分散式移动支付协议。
机译:兼容EMV的具有相互认证的离线移动支付协议
机译:支持多次付款的基于移动自治代理的安全支付协议