Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B.
Girish ChandraDivakar YadavPublished in: ICDEM (2010)
Keyphrases
- data flow
- payment systems
- mobile commerce
- credit card
- high volume
- security mechanisms
- database machine
- biometric authentication
- control flow
- electronic cash
- electronic transactions
- stream processing
- electronic commerce
- resource constrained
- real time
- security requirements
- access control
- object oriented
- databases
- mobile services
- power consumption
- mobile devices