Formal Reasoning About the Security of Amazon Web Services

被引：67
作者：
Cook, Byron [1 ,2 ]
机构：
[1] Amazon Web Serv, Seattle, WA 98109 USA
[2] UCL, London, England
来源：
COMPUTER AIDED VERIFICATION (CAV 2018), PT I | 2018年 / 10981卷
基金：
英国工程与自然科学研究理事会;
关键词：
VERIFICATION;
D O I：
10.1007/978-3-319-96145-3_3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：38 / 47
页数：10
相关论文
共 34 条
[1]   Design and validation of a trust-based opportunity-enabled risk management system [J].
Aldini A. ;
Seigneur J.-M. ;
Lafuente C.B. ;
Titi X. ;
Guislain J. .
Information and Computer Security, 2017, 25 (01) :2-25
[2]  
Alglave J, 2017, POPL
[3]  
Ball T., 2006, Operating Systems Review, V40, P73, DOI 10.1145/1218063.1217943
[4]  
Bouchenak Sara, 2013, Operating Systems Review, V47, P6
[5]  
Chudnov A., 2018, CAV
[6]  
Cofer Darren, 2012, NASA Formal Methods. Proceedings of the 4th International Symposium, NFM 2012, P126, DOI 10.1007/978-3-642-28891-3_13
[7]  
Cofer D, 2014, LECT NOTES COMPUT SC, V8430, P1, DOI 10.1007/978-3-319-06200-6_1
[8]  
Cook B, 2018, CAV
[9]  
Dangl M, 2016, CORRECTNESS WITNESSE
[10]  
Dullien T.F., 2017, IEEE Transactions on Emerging Topics in Computing
1234