Sicurezza certificabile

Garanzia di sicurezza, sostenuta dalla riprova matematica

Ci impegniamo ad aiutarti a raggiungere i più alti livelli di sicurezza nel cloud. Abbiamo sviluppato strumenti di ragionamento automatico che utilizzano la logica matematica per rispondere a domande critiche sulla tua infrastruttura e rilevare le configurazioni errate che potrebbero esporre i tuoi dati. Questa sicurezza certificabile fornisce una maggiore garanzia di sicurezza del cloud e nnel cloud.

Caratteristiche di sicurezza certificabile
Risorse per la sicurezza certificabile

Cos'è il ragionamento automatico? (2:56)

Come funziona

Applichiamo il ragionamento automatico in aree di servizi chiave come l'archiviazione, il networking, la virtualizzazione, l'identità e la crittografia. Puoi vedere il ragionamento automatico all'opera in Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer e nel sistema di analisi della reperibilità Amazon VPC.
  • Amazon CodeGuru
  • Il Revisore Amazon CodeGuru utilizza il ragionamento automatico e il machine learning per identificare i problemi critici, le vulnerabilità di sicurezza e i bug difficili da trovare durante lo sviluppo dell'applicazione. Fornisce inoltre raccomandazioni per migliorare la qualità del codice.

  • Blocco dell’accesso pubblico di Amazon S3
  • Il blocco dell’accesso pubblico S3 utilizza il ragionamento automatico per offrire controlli per un intero account AWS o a livello dei singoli bucket S3 per aiutare ad assicurare che gli oggetti siano protetti dall'accesso pubblico, ora o in futuro.

  • IAM Access Analyzer
  • AWS Identity and Access Management (IAM) Access Analyzer utilizza il ragionamento automatico per analizzare tutti i percorsi di accesso pubblici e multi-account alle risorse e fornisce un'analisi completa di tali percorsi.

  • Amazon VPC Network Access Analyzer
  • Network Access Analyzer utilizza il ragionamento automatico per identificare i percorsi raggiungibili e convalidare gli invarianti di sicurezza nella rete AWS.

  • Sistema di analisi della reperibilità Amazon VPC
  • Il sistema di analisi della reperibilità utilizza il ragionamento automatico per identificare i percorsi attuabili e spiegare quelli non attuabili nella rete AWS.

Ricerca e approfondimenti

Un miliardo di query SMT al giorno

In questo keynote della confereza Computer-Aided Verification (CAV), Neha Rungta, direttore della scienza applicata di AWS Identity, spiega come AWS stia mettendo a disposizione di tutti i suoi clienti la potenza del ragionamento automatico.

Sei interessato a uno stage con il gruppo sul ragionamento automatico di AWS?

Vuoi risolvere alcuni dei problemi di sicurezza nel cloud più complicati?


Scopri di più su AWS