US Patent Issued to Citibank on April 29 for "Security policy validation" (Israeli Inventors)

ALEXANDRIA, Va., June 9 -- United States Patent no. 12,289,345, issued on April 29, was assigned to Citibank N.A. (New York).

"Security policy validation" was invented by Ilia Shevrin (Ramat Gan, Israel), Mickey Hovel (Ashdod, Israel), Max Leibovich (Ramla, Israel), Oded Margalit (Ramat Gan, Israel) and Uri Kahana (Givat-Ada, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "A model checking system detects violations and conflicts in security and verification policies by running model checking processes. The system detects privilege escalation attacks in misconfigured identification and access management ("IAM") policies by modeling security policy documents and IAM actions as logical formulas and then r...