Amazon Technologies, Inc.

Christopher Richard Jacques De Kadt

Neha Rungta

Akhilesh Mritunjai

Emina Torlak

Techniques include using a verified access control policy compiler to compile a first access control policy into a compiled form. This compiled policy is then indexed. When an access request is received, the method retrieves the compiled policy from the index using attributes of the access request. The access request is evaluated against the compiled policy to determine authorization, and the resulting decision is returned. This process streamlines the evaluation and authorization decision-making process, making it more efficient.

Verified access control policy compilation for access management

Techniques include optimizing a base access control policy, resulting in a residual access control policy, which is then indexed. Upon receiving an access request, the system retrieves the residual access control policy from the index using the request's attributes. The access request is then evaluated against the residual policy to make an authorization decision, which is promptly returned. This streamlined process efficiently evaluates and determines authorization, enhancing the speed and accuracy of access control decisions.

Growing community of inventors

Parksville, Canada

Christopher Richard Jacques De Kadt