Sciweavers

90
Voted
IJNSEC
2008
120views more  IJNSEC 2008»
15 years 14 days ago
Formal Specification and Verification of a Secure Micropayment Protocol
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
Mohamed G. Gouda, Alex X. Liu