Supakorn Kungpisdan, Bala Srinivasan, Phu Dung Le. Accountability Logic for Mobile Payment Protocols. In International Conference on Information Technology: Coding and Computing (ITCC 04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA. pages 40-44, IEEE Computer Society, 2004. [doi]
@inproceedings{KungpisdanSL04a,
title = {Accountability Logic for Mobile Payment Protocols},
author = {Supakorn Kungpisdan and Bala Srinivasan and Phu Dung Le},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/itcc/2004/2108/01/210810040abs.htm},
tags = {protocol, logic, mobile},
researchr = {https://researchr.org/publication/KungpisdanSL04a},
cites = {0},
citedby = {0},
pages = {40-44},
booktitle = {International Conference on Information Technology: Coding and Computing (ITCC 04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA},
publisher = {IEEE Computer Society},
}