Formal verification of secure group communication protocols modelled in UML.
Pierre de Saqui-SannesThierry VillemurBenjamin FontanSara MotaMohamed Salah BouassidaNajah ChridiIsabelle ChrismentLaurent VigneronPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- group communication
- formal verification
- key distribution
- database replication
- model checking
- fault tolerance
- message delivery
- key management
- model checker
- formal methods
- cryptographic protocols
- replicated databases
- fault tolerant
- bounded model checking
- automated verification
- modeling language
- software systems
- wireless mesh networks
- computing environments
- multi party
- software engineering
- security protocols
- authentication protocol
- secret key
- metamodel
- software architecture
- object oriented
- replica control
- artificial intelligence
- specification language
- formal specification
- elliptic curve
- distributed systems
- digital libraries