FSM-Based Formal Compliance Verification of Interface Protocols.
Che-Hua ShihYa-Ching YangChia-Chih YenJuinn-Dar HuangJing-Yang JouPublished in: J. Inf. Sci. Eng. (2010)
Keyphrases
- formal methods
- communication protocol
- finite state machines
- cryptographic protocols
- model checking
- user interface
- formal analysis
- protocol specification
- formal specification
- user friendly
- visual interface
- communication protocols
- hidden markov models
- database
- friendly interface
- human computer interface
- asynchronous circuits
- graphical interface
- formal verification
- signature verification
- security protocols
- multi agent
- databases
- data sets