2006 |
4 | EE | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
The application of model checking for securing e-commerce transactions.
Commun. ACM 49(6): 97-101 (2006) |
3 | EE | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Standards and verification for fair-exchange and atomicity in e-commerce transactions.
Inf. Sci. 176(8): 1045-1066 (2006) |
2005 |
2 | EE | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Model checking for design and assurance of e-Business processes.
Decision Support Systems 39(3): 333-344 (2005) |
1 | EE | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Model checking for E-business control and assurance.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 35(3): 445-450 (2005) |