Verification of a self-configuration protocol for distributed applications in the cloud.
Gwen SalaünXavier EtcheversNoel De PalmaFabienne BoyerThierry CoupayePublished in: SAC (2012)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- cloud computing
- formal verification
- formal proof
- coloured petri nets
- lightweight
- formal specification
- colored petri nets
- verification method
- tcp ip
- data center
- temporal logic
- face verification
- communication protocol
- authentication protocol
- security protocols
- formal methods
- application layer
- communication protocols
- data sets
- network protocols
- signature verification