Formal Reasoning About the Security of Amazon Web Services [chapter]

Byron Cook
2018 Lecture Notes in Computer Science  
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. 1
doi:10.1007/978-3-319-96145-3_3 fatcat:satz32czevf3djxace2gshftfe