Formal Specification and Verification Techniques for Secure Database Systems.
Richard A. KemmererPublished in: DBSec (1987)
Keyphrases
- formal specification
- model checking
- database systems
- concurrent systems
- formal methods
- model checker
- temporal logic
- specification language
- protocol specification
- formal verification
- specification languages
- object oriented design
- cryptographic protocols
- process algebra
- integrity verification
- data abstraction
- database
- relational database systems
- data model
- grid workflow
- databases
- data types
- security requirements
- concurrency control
- bounded model checking
- query optimization
- database management systems
- real world
- security analysis
- business rules
- software components
- formal specification language