Automated Formal Reasoning about Amazon Web Services

被引：1
|
作者：
Cook, Byron [1 ,2 ]
机构：
[1] Amazon Web Serv, Seattle, WA 98108 USA
[2] UCL, London, England
来源：
SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE | 2017年
关键词：
Formal verification; constraint solving; networks; policies;
D O I：
10.1145/3092282.3092315
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Automatic and semiautomatic formal verification and model checking tools are now being used within AWS to find proofs that prove or disprove desired properties of key AWS components. In this session, we outline these efforts and discuss how tools are used to play and then replay found proofs of desired properties when software artifacts or networks are modified, thus helping provide security throughout the lifetime of the AWS system.
引用
收藏
页码：9 / 9
页数：1
相关论文
共 50 条
  • [1] Formal Reasoning About the Security of Amazon Web Services
    Cook, Byron
    [J]. COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 38 - 47
  • [2] The Formal Definitions of Semantic Web Services and Reasoning
    Duan Yuexing
    [J]. EMERGING RESEARCH IN WEB INFORMATION SYSTEMS AND MINING, 2011, 238 : 303 - 311
  • [3] Automated Formal Reasoning About AWS Systems
    Cook, Byron
    [J]. PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 7 - 7
  • [4] How Amazon Web Services Uses Formal Methods
    Newcombe, Chris
    Rath, Tim
    Zhang, Fan
    Munteanu, Bogdan
    Brooker, Marc
    Deardeuff, Michael
    [J]. COMMUNICATIONS OF THE ACM, 2015, 58 (04) : 66 - 73
  • [5] Automated Security Assessments of Amazon Web Services Environments
    Engstrom, Viktor
    Johnson, Pontus
    Lagerstrom, Robert
    Ringdahl, Erik
    Wallstedt, Max
    [J]. ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2023, 26 (02)
  • [6] Reasoning about web services in a temporal action logic
    Martelli, Alberto
    Giordano, Laura
    [J]. REASONING, ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS, 2006, 4155 : 229 - 246
  • [7] Automated reasoning tool for the detection of race conditions in web services
    Sathiyamurthy, K.
    Sophia, S. Anne Marie
    Ashalatha, A.
    Sujitha, P.
    [J]. ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL II, PROCEEDINGS, 2007, : 61 - 65
  • [8] A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
    Erata, Ferhat
    Goknil, Arda
    Tekinerdogan, Bedir
    Kardas, Geylani
    [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 959 - 963
  • [9] Amazon web services
    Muni, A
    Hansen, J
    [J]. DR DOBBS JOURNAL, 2005, 30 (12): : 66 - 67
  • [10] Ruby/Amazon & Amazon Web Services
    Macdonald, I
    [J]. DR DOBBS JOURNAL, 2005, 30 (02): : 30 - +
12345