IEEE - Institute of Electrical and Electronics Engineers, Inc. - Failure analysis of an e-commerce protocol using model checking

Proceedings Second International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems. WECWIS 2000

Author(s): Ray, I. ; Ray, I.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Milpitas, CA, USA
Conference Date: 9 June 2000
Page(s): 176 - 183
ISBN (Paper): 0-7695-0610-0
DOI: 10.1109/WECWIS.2000.853873
Regular:

The rapid growth of electronic commerce (e-commerce) has necessitated the development of e-commerce protocols. These protocols ensure the confidentiality and integrity of information exchanged. In... View More

Advertisement