The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 25, 2025
Filed:
Mar. 11, 2021
Mitsubishi Electric Corporation, Tokyo, JP;
Benoit Boyer, Rennes, FR;
MITSUBISHI ELECTRIC CORPORATION, Tokyo, JP;
Abstract
The disclosure relates to a method for verifying an implementation of a security policy by a computer program. The method comprises obtaining (S) the computer program. The method further comprises, based on obtaining (S) a security policy correspondence table, annotating (S) the computer program with at least one annotation comprising an expected security type associated to a variable output by a critical instruction of the computer program. The method further comprises, based on obtaining (S) propagation rule sets, analyzing the instructions of the annotated computer program to associate (S) a propagated security type to each variable output by an instruction of the annotated computer program. The method further comprises verifying the implementation of the security policy by comparing (S) the propagated and expected security types. The disclosure further relates to a corresponding computer program, a corresponding computer-readable storage medium and a corresponding processing circuit.