Keyphrases
- mobile phone
- database
- application layer
- model checking
- multi layer
- web logs
- face verification
- transaction data
- concurrency control
- transaction model
- signature verification
- transaction management
- functional verification
- database transactions
- verification method
- formal verification
- transaction processing
- search engine