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