A New Approach for Protocols Performance Evaluation Using Estelle Specifications.
M. HendazStanislaw BudkowskiPublished in: FORTE (1995)
Keyphrases
- protocol specification
- formal specification
- databases
- state machines
- communication protocols
- functional requirements
- high level
- authentication protocol
- cryptographic protocols
- case study
- specification language
- key distribution
- commit protocols
- reactive systems
- information systems
- concurrent systems
- delay insensitive
- data sets