A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification.
Ernst W. BiersackDavid C. FeldmeierPublished in: Comput. Networks ISDN Syst. (1993)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- management system
- formal proof
- information management
- knowledge management
- lightweight
- neural network
- data management
- project management
- security protocols
- decision support
- communication protocols
- information systems
- database
- resource reservation
- network management
- distributed databases
- model checking
- data processing
- data warehouse
- digital libraries
- database systems
- real time