A machine-checked proof of security for AWS key management service

We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers. Domain management is at the core of AWS KMS; it governs the top-level keys that anchor the...

Full description

Bibliographic Details
Main Author: Almeida, José Bacelar (author)
Other Authors: Barbosa, Manuel (author), Barthe, Gilles (author), Campagna, Matthew (author), Cohen, Ernie (author), Gregoire, Benjamin (author), Pereira, Vitor (author), Portela, Bernardo (author), Strub, Pierre-Yves (author), Tasiran, Serdar (author)
Format: conferencePaper
Language:eng
Published: 2019
Subjects:
Provable-Security
Machine-Checked Proof
Key Management
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
Online Access:http://hdl.handle.net/1822/66487
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/66487

Internet

http://hdl.handle.net/1822/66487

Similar Items