A Machine-Checked Proof of Security for AWS Key Management Service.
José Bacelar AlmeidaManuel BarbosaGilles BartheMatthew CampagnaErnie CohenBenjamin GrégoireVitor PereiraBernardo PortelaPierre-Yves StrubSerdar TasiranPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- key management
- security services
- security threats
- ad hoc networks
- key management scheme
- wireless sensor networks
- identity based cryptography
- key distribution
- resource constrained
- security protocols
- key pre distribution
- secret sharing scheme
- provably secure
- elliptic curve
- secret key
- digital signature
- group communication
- secure communication
- service providers
- web services
- signcryption scheme
- key establishment
- public key cryptography
- wireless networks