Formal specification and verification of a micropayment protocol

Proceedings - International Conference on Computer Communications and Networks, ICCCN

Volumn , Issue , 2004, Pages 489-494

  Gouda, Mohamed G ^a   Liu, Alex X ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ONLINE SYSTEMS; PARAMETER ESTIMATION; RANDOM NUMBER GENERATION; SECURITY OF DATA; SPECIFICATIONS;

MICROCOMMERCE; MICROPAYMENTS; TRANSITION DIAGRAMS;

NETWORK PROTOCOLS;

EID: 17444365838     PISSN: 10952055     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. R. Anderson, H. Manifavas, and C. Sutherland. Netcard: A practical electronic cash system. In Proc. of the 4th International Workshop on Security Protocols, LNCS 1189, 1996.
2. A. Arora and M. G. Gouda. Closure and convergence: A foundation for fault-tolerant computing. IEEE Transactions on Software Engineering, Special Issue on Software Reliability, 19(3):1015-1027, 1993.
3. S. Glassman, M. Manasse, M. Abadi, P. Gauthier, and P. Sobalvarro. The millicent protocol for inexpensive electronic commerce. In Proc. of the 4th International World Wide Web Conference Proceedings, pages 603-618, 1995.
4. M. G. Gouda. Elements of Network Protocol Design. John Wiley & Sons, New York, New York, 1th edition, 1998.
5. M. G. Gouda. Elements of security: Closure, convergence, and protection. Information Processing Letters, 77:109-114, 2001.
6. R. Hauser, M. Steiner, and M. Waidner. Micropayments based on ikp. In Worldwide Congress on Computer and Communications Security Protocol, 1996.
7. C. Jutla and M. Yung. Paytree: "amortised-signature" for flexible micropayments. In Proc. of the 2nd USENIX Association Workshop on Electronic Commerce, pages 213-221, 1996.
8. A. Lakhia. Specification and verification of payword protocols. Bachelor's thesis, The University of Texas at Austin, 1998.
9. L. Lamport. Password authentication with insecure communication. Communications of the ACM, 24(11):770-771, 1981.
10. T. P. Pedersen. Electronic payments of small amounts. In Proc. of the 5th International Workshop on Security Protocols, LNCS 1361, pages 59-68, 1997.
11. R. L. Rivest and A. Shamir. Payword and micromint: Two simple micropayment schemes. In Proc. of the Fourth International Workshop on Security Protocols, LNCS 1189, pages 69-87, 1996.
12. W3C. Micro payment transfer protocol (mptp) version 0.1. http://www.w3.org/tr/wd-mptp-951122.