UML-Based Modeling and Formal Verification of Authentication Protocols.
Benjamin FontanSara MotaThierry VillemurPierre de Saqui-SannesJean-Pierre CourtiatPublished in: ISSSE (2006)
Keyphrases
- formal verification
- modeling language
- authentication protocol
- model checking
- bounded model checking
- automated verification
- symbolic model checking
- cryptographic protocols
- lightweight
- metamodel
- software systems
- unified modeling language
- model checker
- sequence diagrams
- anomaly detection
- temporal logic
- operating system
- software engineering
- object oriented