The Application of MODEL CHECKING for SECURING E-COMMERCE TRANSACTIONS.
| Autor: | Brinton Anderson, Bonnie bonnie_anderson@byu.edu, Hansen, James V.1 james_hansen@byu.edu, Lowry, Paul Benjamin1 Paul.Lowry@byu.edu, Summers, Scott L.2 summers@byu.edu |
|---|---|
| Zdroj: | Communications of the ACM. Jun2006, Vol. 49 Issue 6, p97-101. 5p. 1 Diagram, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|