Modelling a Secure, Mobile, and Transactional System with CO-OPN.
Didier BuchsStanislav ChachkovDavid HurzelerPublished in: ACSD (2003)
Keyphrases
- state machines
- petri net
- discrete event
- mobile phone
- state machine
- transaction model
- mobile devices
- mobile applications
- mobile networks
- fault tolerant
- mobile learning
- key management
- dynamic systems
- computing environments
- remote server
- heterogeneous platforms
- mobile users
- database systems
- transaction processing
- mobile commerce
- factor authentication