Amazon Verified Permissions utiliza el razonamiento automatizado para definir permisos detallados para los usuarios de la aplicación. Amazon Verified Permissions es un servicio de autorización totalmente administrado que utiliza el lenguaje de políticas de Cedar, que se ha demostrado que es correcto, para que pueda crear aplicaciones más seguras. Con Verified Permissions, los desarrolladores pueden crear aplicaciones con mayor rapidez mediante la externalización de la autorización y la centralización de la administración de políticas.