Formal Specification and Verification of a Micropayment Protocol.

Mohamed G. Gouda, Alex X. Liu

Browse the full ICCCN paper archive.