Work

Formal Reasoning About the Security of Amazon Web Services

Year: 2018

Type: conference-paper

Abstract: We report on the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves. We also discuss some remaining challenges that could inspire future research in the community. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-96145-3_3

Author: Byron Cook

Institutions: Amazon (United States), University College London

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $5,392

Funder: Engineering and Physical Sciences Research Council