Reliable Distributed Systems, IEEE Symposium on (2001)
New Orleans, Louisiana
Oct. 28, 2001 to Oct. 31, 2001
F. Pedone , Hewlett-Packard Laboratories
Electronic tickets, or e-tickets, give evidence that their holders have permission to enter a place of entertainment, use a means of transportation, or have access to some Internet services. E-tickets can be stored in desktop computers or personal digital assistants for future use. Before being used, e-tickets have to be validated to prevent duplication, and ensure authenticity and integrity. This paper discusses e-ticket validation in contexts in which users cannot be trusted and validation servers may fail by crashing. The paper considers formal definitions for the e-ticket problem and proposes an optimistic protocol for validation of e-tickets. The protocol is optimistic in the sense that its best performance is achieved when e-tickets are validated only once.
F. Pedone, "Optimistic Validation of Electronic Tickets", Reliable Distributed Systems, IEEE Symposium on, vol. 00, no. , pp. 0110, 2001, doi:10.1109/RELDIS.2001.969763