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: Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer, Amazon VPC Reachability Analyzer und Amazon Verified Permissions.
Amazon CodeGuru
Amazon 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.
Amazon S3 Block Public Access
S3 Block Public Access verwendet Automated Reasoning um Kontrollen zu bieten für ein gesamtes AWS-Konto oder die individuelle Amazon-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.
Amazon VPC Network Access Analyzer
Amazon VPC Network Access Analyzer benutzt Automated Reasoning, um erreichbare Pfade zu identifizieren und überprüft Sicherheitsinvarianten in Ihrem AWS-Netzwerk.
Amazon VPC Reachability Analyzer
Der Amazon 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
Amazon Verified Permissions verwendet Automated Reasoning, um detaillierte Berechtigungen für Anwendungsbenutzer zu definieren. Amazon 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.