A Novel Logic for Analyzing Electronic Payment ProtocolsYi Liu, Xing-Tong Liu and Chao-Jing TangITM Web Conf., 7 (2016) 01002DOI: https://doi.org/10.1051/itmconf/20160701002
