Sciweavers

86
Voted
IJNSEC
2008
120views more  IJNSEC 2008»
15 years 10 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