Formal Analysis of the iKP Electronic Payment Protocols (2003)

by Kazuhiro Ogata, Kokichi Futatsugi
Venue:In: ISSS 2002. Volume 2609 of LNCS