BIBCYT http://bibcyt.ucla.edu.ve/cgi-win/be_alex.exe?Ultimo&Nombrebd=BIBCYT UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno Brinton Anderson, Bonnie P Principal Hansen, James V. P Principal Lowry, Paul Benjamin Paul.Lowry@byu.edu P Principal Summers, Scott L. summers@byu.edu S Secundario The Application of MODEL CHECKING for SECURING E-COMMERCE TRANSACTIONS Vol: 49 pp. 97-101