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: CCS (2019)
Keyphrases
- key management
- security services
- security threats
- ad hoc networks
- security protocols
- wireless sensor networks
- key management scheme
- key distribution
- identity based cryptography
- resource constrained
- provably secure
- key pre distribution
- secret sharing scheme
- group communication
- secure communication
- digital signature
- elliptic curve
- secret key
- security mechanisms
- diffie hellman
- service providers
- web services
- real time
- public key cryptography
- trusted third party
- pairwise
- bilinear pairings
- key establishment