Model checking for design and assurance of e-business processes

Authors:
Bonnie Brinton Anderson;James V. Hansen;Paul Benjamin Lowry;Scott L. Summers
Affiliations:
Marriott School of Management and Kevin Rollins Center for e-Business, Brigham Young University, Provo, UT;Marriott School of Management and Kevin Rollins Center for e-Business, Brigham Young University, Provo, UT;Marriott School of Management and Kevin Rollins Center for e-Business, Brigham Young University, Provo, UT;Marriott School of Management and Kevin Rollins Center for e-Business, Brigham Young University, Provo, UT
Venue:
Decision Support Systems
Year:
2005

Citing 8
Cited 8

The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
E-Process Design and Assurance Using Model Checking

Computer
A Fair-exchange E-commerce Protocol with Automated Dispute Resolution

Proceedings of the IFIP TC11/ WG11.3 Fourteenth Annual Working Conference on Database Security: Data and Application Security, Development and Directions
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Untraceable Electronic Cash

CRYPTO '88 Proceedings of the 8th Annual International Cryptology Conference on Advances in Cryptology
Failure Analysis of an E-Commerce Protocol Using Model Checking

WECWIS '00 Proceedings of the Second International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems (WECWIS 2000)
Model checking electronic commerce protocols

WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
NetBill security and transaction protocol

WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1

The application of model checking for securing e-commerce transactions

Communications of the ACM - Hacking and innovation
A three-layered method for business processes discovery and its application in manufacturing industry

Computers in Industry
A fit-gap analysis of e-business curricula and job demand in Taiwan and the US

Computers & Education
Agent Verification Design of Short Text Messaging System Using Formal Method

KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Standards and verification for fair-exchange and atomicity in e-commerce transactions

Information Sciences: an International Journal
Developer-friendly verification of process-based systems

Knowledge-Based Systems
Symbolic model checking composite Web services using operational and control behaviors

Expert Systems with Applications: An International Journal
Metamodeling to Control and Audit E-Commerce Web Applications

International Journal of Electronic Commerce

Quantified Score

Hi-index	0.00

Visualization

Abstract

Use of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e-Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations.