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.