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]
Abstract is missing.