An experience report on the verification of autonomic protocols in the cloud.
Gwen SalaünFabienne BoyerThierry CoupayeNoel De PalmaXavier EtcheversOlivier GruberPublished in: Innov. Syst. Softw. Eng. (2013)
Keyphrases
- cryptographic protocols
- cloud computing
- model checking
- autonomic systems
- protocol specification
- formal verification
- data center
- formal analysis
- data sets
- signature verification
- case study
- database
- authentication protocol
- virtual machine
- verification method
- functional verification
- learning algorithm
- autonomic computing systems