Formal Methods for Protocol Conversion.
Kenneth L. CalvertSimon S. LamPublished in: IEEE J. Sel. Areas Commun. (1990)
Keyphrases
- formal methods
- model checker
- formal analysis
- protocol specification
- security properties
- software engineering
- knowledge based systems
- safety critical
- model checking
- artificial intelligence
- formal specification
- provably correct
- reactive systems
- modeling language
- authentication protocol
- temporal logic
- knowledge acquisition
- access control
- knowledge representation
- expert systems
- multi agent systems
- development lifecycle
- case study