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:
Feb. 18, 2014
Filed:
Sep. 11, 2006
Moritz Y. Becker, Cambridge, GB;
Blair B. Dillaway, Redmond, WA (US);
Cedric Fournet, Cambridge, GB;
Andrew D. Gordon, Cambridge, GB;
Jason F. Mackay, Redmond, WA (US);
Moritz Y. Becker, Cambridge, GB;
Blair B. Dillaway, Redmond, WA (US);
Cedric Fournet, Cambridge, GB;
Andrew D. Gordon, Cambridge, GB;
Jason F. Mackay, Redmond, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
Security language constructs may be translated into logic language constructs and vise versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.