Showing results 1 to 4 of 4
Title | Author(s) | Issue Date | |
---|---|---|---|
Model checking for design and assurance of e-Business processes Journal:Decision Support Systems | 2005 | ||
Model checking for e-Business control and assurance Journal:IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews | 2005 | ||
Standards and verification for fair-exchange and atomicity in e-commerce transactions Journal:Information Sciences | 2006 | ||
The application of model checking for securing E-commerce transactions Journal:Communications of the ACM | 2006 |