|
|
|
|
|
|
by Terretta
1955 days ago
|
|
|
Pull this thread... Zelkova uses automated reasoning to analyze policies and the future consequences of policies. This includes AWS Identity and Access Management (IAM) policies, Amazon Simple Storage Service (S3) policies, and other resource policies. These policies dictate who can (or can’t) do what to which resources. Because Zelkova uses automated reasoning, you no longer need to think about what questions you need to ask about your policies. Using fancy math, as mentioned above, Zelkova will automatically derive the questions and answers you need to be asking about your policies, improving confidence in your security configuration(s). https://aws.amazon.com/blogs/security/protect-sensitive-data... Maybe start at Provable Security: https://aws.amazon.com/security/provable-security/ |
|
|