Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols

Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong. Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. In Xiaodong Lin, Ali Ghorbani, Kui Ren 0001, Sencun Zhu, Aiqing Zhang, editors, Security and Privacy in Communication Networks - 13th International Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25, 2017, Proceedings. Volume 238 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 469-488, Springer, 2017. [doi]

Authors

Quanqi Ye

This author has not been identified. Look up 'Quanqi Ye' in Google

Guangdong Bai

This author has not been identified. Look up 'Guangdong Bai' in Google

Naipeng Dong

This author has not been identified. Look up 'Naipeng Dong' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google