Model checking for design and assurance of e-Business processes

Decision Support Systems

Volumn 39, Issue 3, 2005, Pages 333-344

  Anderson, Bonnie Brinton ^a   Hansen, James V ^a   Lowry, Paul Benjamin ^a   Summers, Scott L ^a  

^a BRIGHAM YOUNG UNIVERSITY   (United States)

Author keywords

e Business; Goods atomicity; Model checking; Money atomicity; Process and communication protocols; Valid receipt

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER SIMULATION; INTERNET; MATHEMATICAL MODELS; NETWORK PROTOCOLS; RISK ASSESSMENT;

E-BUSINESS; GOODS ATOMICITY; MODEL CHECKING; MONEY ATOMICITY; PROCESS AND COMMUNICATION PROTOCOLS; VALID RECEIPT;

ELECTRONIC COMMERCE;

EID: 10644256461     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dss.2003.12.001     Document Type: Article

References (9)

1. D. Chaum, A. Fiat, M. Naor, Untraceable electronic cash, Advances in Cryptology - CRYPTO '88 Proceedings, 1990.
2. B. Cox, J. Tygar, M. Sirbu, Netbill security and transaction protocol, Proceedings of the First USENIX Workshop in Electronic Commerce, 1995 July.
3. Ernst, Young, Doing eCommerce Right, 2000 March 15.
4. N. Heintze, J. Tygar, J. Wing, H. Wong, Model checking electronic commerce protocols, Proceedings of the 2nd USENIX Workshop in Electronic Commerce, 1996 November.
5. G. Lowe, Breaking and fixing the needham-schroeder public-key protocol using FDR, Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS, 1996 March.
6. I. Ray, I. Ray, Failure analysis of an e-commerce protocol using model checking, Proceedings of the Second International Workshop on Advanced Issues of e-Commerce and Web-based Information Systems, Milpitas, CA, 2000 June.
7. I. Ray, I. Ray, N. Narasimhamurthi, A fair exchange e-commerce protocol with automated dispute resolution, Proceedings of the Fourteenth Annual IFIP WG 11.3 Working Conference on Database Security, Schoorl, The Netherlands, 2000 August.
8. A. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 2000.
9. W. Wang, Z. Hidvegi, A. Bailey, A. Whinston, E-process design and assurance using model checking, IEEE Computer 33 (10) (2000 August) 48-53.