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 nel 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. È possibile vedere il ragionamento automatico all'opera in Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), nello Strumento di analisi degli accessi alla rete Amazon VPC, nel sistema di analisi della reperibilità Amazon VPC e in Autorizzazioni verificate da Amazon.
  • 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.

  • Autorizzazioni verificate da Amazon

  • Autorizzazioni verificate da Amazon utilizza il ragionamento automatico per definire le autorizzazioni granulari per gli utenti delle applicazioni.

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?

Contattaci!

Scopri di più su AWS