AWS ha sviluppato strumenti di ragionamento automatizzato per rispondere a domande critiche sulla sicurezza della tua infrastruttura. Questo approccio, noto come sicurezza dimostrabile lo troviamo in diversi servizi. CodeGuru lo applica per eseguire analisi statiche del codice, le VPC per migliorare la sicurezza della rete e IAM per verificare continuamente le autorizzazioni. Il ragionamento automatico è infine disponibile as-a-service su Verified Permission consentendoci di creare applicazioni più sicure e più velocemente. Vedremo come usare tutte queste funzionalità per migliorare la nostra postura di sicurezza