Protocol Verification Using Relational Database Systems.
Ming-Yee LaiTony T. LeePublished in: ICDE (1987)
Keyphrases
- relational database systems
- cryptographic protocols
- protocol specification
- database systems
- data storage
- relational databases
- query processing
- relational model
- database
- database management systems
- relational database technology
- relational algebra
- databases
- xml data
- relational database management systems
- abstract data types
- b tree
- model checking
- data model
- database design
- database applications
- data management
- storage management
- artificial intelligence