Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers. The application of model checking for securing e-commerce transactions. Communications of the ACM, 49(6):97-101, 2006. [doi]
@article{AndersonHLS06, title = {The application of model checking for securing e-commerce transactions}, author = {Bonnie Brinton Anderson and James V. Hansen and Paul Benjamin Lowry and Scott L. Summers}, year = {2006}, doi = {10.1145/1132474}, url = {http://doi.acm.org/10.1145/1132474}, tags = {model checking, meta-model, e-science, Meta-Environment}, researchr = {https://researchr.org/publication/AndersonHLS06}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {49}, number = {6}, pages = {97-101}, }