Optimistic validation of electronic tickets

Author

Pedone, Fernando

Author_Institution

Labs., Hewlett-Packard Co., Palo Alto, CA, USA

fYear

2001

fDate

2001

Firstpage

110

Lastpage

119

Abstract

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. The 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

Keywords

Internet; data integrity; electronic commerce; formal verification; message authentication; optimisation; protocols; Internet services; authenticity; desktop computers; e-ticket validation; electronic tickets; formal definitions; integrity; optimistic protocol; optimistic validation; personal digital assistants; validation servers; Bismuth;

fLanguage

English

Publisher

ieee

Conference_Titel

Reliable Distributed Systems, 2001. Proceedings. 20th IEEE Symposium on

Conference_Location

New Orleans, LA

ISSN

1060-9857

Print_ISBN

0-7695-1366-2

Type

conf

DOI

10.1109/RELDIS.2001.969763

Filename

969763