US Patent Issued to MITSUBISHI ELECTRIC on March 25 for "Method for verifying implementation of security policy, storage medium, computer program, and processing circuit" (French Inventor)

ALEXANDRIA, Va., March 26 -- United States Patent no. 12,259,980, issued on March 25, was assigned to MITSUBISHI ELECTRIC Corp. (Tokyo).

"Method for verifying implementation of security policy, storage medium, computer program, and processing circuit" was invented by Benoit Boyer (Rennes, France).

According to the abstract* released by the U.S. Patent & Trademark Office: "The disclosure relates to a method for verifying an implementation of a security policy by a computer program. The method comprises obtaining (S3) the computer program. The method further comprises, based on obtaining (S2) a security policy correspondence table, annotating (S4) the computer program with at least one annotation comprising an expected security type associa...