Uri Kahana

Title: Innovations of Uri Kahana

Introduction

Uri Kahana is an accomplished inventor based in Givat-Ada, Israel. He holds a total of 12 patents that reflect his expertise in security and compliance systems. His innovative work focuses on enhancing security measures in identification and access management systems.

Latest Patents

One of Uri Kahana's latest patents is related to security remediation. This model checking system configures a formal compliance document with remediation actions to correct security conflicts in an IAM system. The system applies a model checker on an abstract model of the IAM system to identify security conflicts and determines remediation actions from the formal compliance document. After applying the first remediation action, the system checks whether it creates another security conflict. If a remediation action is identified that does not create a new security conflict, the system applies the identified action and updates the formal compliance document accordingly. When an operator revises code for a policy change, the system applies the model checker on the abstract model of the IAM system with the code revision to identify security conflicts. If new security conflicts are not created in the simulation, the system may deploy the code revision.

Another significant patent by Kahana focuses on security policy validation. This model checking system detects violations and conflicts in security and verification policies by running model checking processes. It identifies privilege escalation attacks in misconfigured IAM policies by modeling security policy documents and IAM actions as logical formulas. The system translates non-Boolean variables, such as string variables, into Boolean variables to apply an SAT model checker. Additionally, the model checker determines whether a policy violation can be achieved in a finite number of steps by elevating privileges of some compromised principal over multiple iterations of the model checking process.

Career Highlights

Uri Kahana has worked with notable companies such as Intel Corporation and Citibank. His experience in these organizations has contributed to his expertise in security technologies and compliance systems.

Collaborations

Throughout his career, Kahana has collaborated with talented individuals, including Tarun Viswanathan and Alan D. Ross. These collaborations have further enriched his work and innovations in the field.

Conclusion

Uri Kahana's contributions to security remediation and policy validation demonstrate his significant impact on the field of identification and access management systems. His innovative patents continue to advance security measures in various industries.