Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Formal verification in a commercial setting
DAC '97 Proceedings of the 34th annual Design Automation Conference
Computer-Aided reasoning
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
Economic mechanism design for securing online auctions
ICIS '00 Proceedings of the twenty first international conference on Information systems
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Just Business -Shouldn't We Have Some Fun?
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
A Formal Methodology to Specify E-commerce Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The application of model checking for securing e-commerce transactions
Communications of the ACM - Hacking and innovation
Model checking for design and assurance of e-business processes
Decision Support Systems
Designing Mechanisms for E-Commerce Security: An Example from Sealed-Bid Auctions
International Journal of Electronic Commerce
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Creating automated plans for Semantic Web applications through planning as model checking
Expert Systems with Applications: An International Journal
Model checking correctness properties of a middleware service for contract compliance
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Standards and verification for fair-exchange and atomicity in e-commerce transactions
Information Sciences: an International Journal
Concurrency, Compositionality, and Correctness
Integrated privacy modeling and validation for business process models
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
| Hi-index | 4.10 |
Trust in e-commerce is difficult to establish and maintain. Almost daily, news headlines cover some incident, causing users to question e-commerce systems' trustworthiness. Strong e-process design and implementation is the first line of defense against errors, fraud, and hacking. Minimizing program faults in business operations is critical for an e-business's survival. Carefully designed and implemented code can handle most expected situations, so these e-processes often function well within their defined boundaries. But guaranteeing correct processing under all circumstances is extremely difficult, if not impossible. Hidden flaws and errors, triggered only under unexpected, hard-to-anticipate scenarios, lead to subtle mistakes and even catastrophic failures. The authors use an online ticket sales example to illustrate the potential of model checking (an advanced formal method) for economically finding certain flaws. Model checking is a powerful verification method that determines whether a system model satisfies certain specifications under all circumstances. It can locate subtle but critical flaws that conventional design and assurance methods, such as testing and simulation, often miss.