An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.
Yoshiaki KakudaHironori SaitoPublished in: IEEE Trans. Computers (1991)
Keyphrases
- lightweight
- design process
- formal analysis
- tcp ip
- file transfer
- protocol specification
- state machines
- communication protocol
- functional requirements
- design space
- case study
- cryptographic protocols
- real time
- formal specification
- design principles
- specification language
- user interface
- high level
- design requirements
- network protocols
- neural network