The article discusses the e-commerce theory of model checking. Model checking allows business and e-commerce Web site designers to ensure that consumers can make purchases for goods and services online without undue risk. Failure to appropriately determine the security vulnerabilities of an e-commerce Web site can be very costly for businesses. Model checking provides a way for businesses to verify that their Web sites adhere to good e-commerce standards of reliability, security and trust.