Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1145/3092282.3092315 | SPIN |
Keywords | DocType | ISBN |
Formal verification,constraint solving,networks,policies | Conference | 978-1-4503-5077-8 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Byron Cook | 1 | 56 | 3.93 |