ITM Web of Conferences

A Novel Logic for Analyzing Electronic Payment Protocols

Yi Liu, Xing-Tong Liu and Chao-Jing Tang

ITM Web Conf., 7 (2016) 01002

Published online: 21 November 2016

DOI: 10.1051/itmconf/20160701002

Yi Liu

Xing-Tong Liu

Chao-Jing Tang

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)