UML-based modeling and formal verification of security protocols.
Sara MotaBenjamin FontanPublished in: CoNEXT (2005)
Keyphrases
- formal verification
- security protocols
- modeling language
- model checking
- unified modeling language
- automated design
- automated verification
- bounded model checking
- artificial immune algorithm
- security services
- software engineering
- model checker
- cryptographic protocols
- object oriented
- symbolic model checking
- security properties
- lightweight