Specification and Verification of Secure Business Transaction Systems.
Vangalur S. AlagarKasilingam PeriyasamyPublished in: SOFSEM (2002)
Keyphrases
- transaction systems
- concurrency control and recovery
- formal verification
- business rules
- nested transactions
- model checking
- business processes
- business intelligence
- database systems
- knowledge management
- information systems
- business process
- concurrency control
- high level
- data mining
- response time
- database management systems
- database
- fine grained
- management system
- relational databases