Protocol verification using database technology.
Ophir FriederGary E. HermanPublished in: IEEE J. Sel. Areas Commun. (1989)
Keyphrases
- database technology
- cryptographic protocols
- database systems
- database management
- database applications
- protocol specification
- relational databases
- database management systems
- data management
- model checker
- relational model
- formal analysis
- relational database technology
- object oriented
- data warehousing
- distributed systems
- model checking
- data modeling
- database development
- advances in database technology
- formal verification
- active databases
- data warehouse
- data model
- colored petri nets
- databases
- information retrieval
- description language
- distributed databases
- security protocols
- database design
- authentication protocol
- query processing
- data analysis