Nachweisbare Sicherheit
Sicherheitsgarantien, belegt durch mathematische Beweise
Was versteht man unter nachweisbarer Sicherheit?
Wir haben uns dazu verpflichtet, Ihnen bei der Erreichung des höchsten Sicherheitsstandards in der Cloud zu helfen. Wir haben Automated Reasoning Tools entwickelt, die mathematische Logik benutzen, um kritische Fragen dazu zu beantworten, ob Ihre Infrastruktur Fehlkonfigurationen erkennt, die vielleicht Ihre Daten aufdecken könnten. Das bezeichnen wir als nachweisbare Sicherheit, da sie eine höhere Sicherheit der Cloud selbst und in der Cloud gewährleistet.
Weitere Informationen:
Features der nachweisbaren Sicherheit | Ressourcen zur nachweisbaren Sicherheit
Funktionsweise:
Wir benutzen Automated Reasoning in wichtigen Servicebereichen wie Speicher, Netzwerk, Virtualisierung, Identität und Kryptographie. Sie können in den folgenden Services Automated Reasoning im Einsatz sehen: HAQM CodeGuru, HAQM Simple Storage Service (HAQM S3), AWS Identity and Access Management (IAM), HAQM VPC Network Access Analyzer, HAQM VPC Reachability Analyzer und HAQM Verified Permissions.
HAQM CodeGuru
HAQM CodeGuru Reviewer verwendet Automated Reasoning und Machine Learning, um kritische Probleme, Sicherheitsschwachstellen und schwer zu findende Fehler während der Anwendungsentwicklung zu identifizieren. Es bietet auch Empfehlungen um die Codequalität zu verbessern.
HAQM S3 Block Public Access
S3 Block Public Access verwendet Automated Reasoning um Kontrollen zu bieten für ein gesamtes AWS-Konto oder die individuelle HAQM-S3-Bucket-Ebene, um sicherzustellen, dass Objekte jetzt und in Zukunft nie öffentlich zugänglich sind.
IAM Access Analyzer
AWS Identity and Access Management (IAM) Access Analyzer benutzt Automated Reasoning, um alle öffentlichen und kontoübergreifenden Zugriffspfade zu Ihren Ressourcen zu analysieren und bietet eine Gesamtanalyse dieser Pfade.
HAQM VPC Network Access Analyzer
HAQM VPC Network Access Analyzer benutzt Automated Reasoning, um erreichbare Pfade zu identifizieren und überprüft Sicherheitsinvarianten in Ihrem AWS-Netzwerk.
HAQM VPC Reachability Analyzer
Der HAQM VPC Reachability Analyzer identifiziert mithilfe von Automated Reasoning machbare Pfade und erklärt nicht machbare Pfade in Ihrem AWS-Netzwerk.
Entwickeln Sie mit nachweisbarer Sicherheit
HAQM Verified Permissions verwendet Automated Reasoning, um detaillierte Berechtigungen für Anwendungsbenutzer zu definieren. HAQM Verified Permissions ist ein vollständig verwalteter Autorisierungs-Service, der die nachweislich korrekte Sprache für Cedar-Richtlinien verwendet, sodass Sie sicherere Anwendungen erstellen können. Mit geprüften Berechtigungen können Entwickler Anwendungen schneller entwickeln, indem sie die Autorisierung auslagern und die Richtlinienverwaltung zentralisieren.