Title :
SNPP: A simple network payment protocol
Author_Institution :
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
fDate :
30 Nov-4 Dec 1992
Abstract :
A protocol is proposed to securely implement payment transactions between mutually distrustful parties. This protocol is designed to operate over an open network, and can be implemented using a currently available encryption technology. A logical verification of the protocol is included, as well as a status report on its implementation
Keywords :
EFTS; cryptography; formal verification; protocols; SNPP; encryption technology; logical verification; mutually distrustful parties; network payment protocol; open network; payment transactions; Access protocols; Authentication; Authorization; Computer crime; Computer science; Credit cards; Government; Laboratories; Postal services; Web and internet services;
Conference_Titel :
Computer Security Applications Conference, 1992. Proceedings., Eighth Annual
Conference_Location :
San Antonio, TX
Print_ISBN :
0-8186-3115-5
DOI :
10.1109/CSAC.1992.228222
