SECURITY POLICY VERIFICATION SYSTEM
First Claim
Patent Images
1. A computer-readable medium having instructions stored thereon that, when executed by a processor, cause the processor to provide a security policy verification system by:
- parsing programming language code that implements one of a plurality of security policies;
identifying a first annotation in the programming language code;
matching the first annotation to a first security policy to which the first annotation corresponds; and
displaying a natural language description of the first security policy in a user interface.
1 Assignment
0 Petitions
Accused Products
Abstract
Systems and methods are provided that comprise a security policy verification system for verifying security policies. The system parses programming language code that implements security policies, and identifies annotations in the programming language code. The system then matches the annotations to the security policies to which the annotations correspond. The system then displays a natural language description of the security policy in a user interface.
37 Citations
14 Claims
-
1. A computer-readable medium having instructions stored thereon that, when executed by a processor, cause the processor to provide a security policy verification system by:
-
parsing programming language code that implements one of a plurality of security policies; identifying a first annotation in the programming language code; matching the first annotation to a first security policy to which the first annotation corresponds; and displaying a natural language description of the first security policy in a user interface. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A computer-implemented method for providing a security policy verification system, comprising:
-
parsing programming language code that implements one of a plurality of security policies; identifying a first annotation in the programming language code; matching the first annotation to a first security policy to which the first annotation corresponds; and displaying a natural language description of the first security policy in a user interface. - View Dependent Claims (10, 11, 12, 13)
-
-
14. A security policy verification system, comprising:
-
a repository storing a plurality of security policy implementations; a reference implementation including a plurality of annotation codes corresponding to a plurality of security policies; a parser for parsing the plurality of security policy implementations and identifying one of the plurality of annotation codes in one of the plurality of security policy implementations; a security policy module that matches the one annotation to the one security policy; and a user interface that displays a natural language description of the one security policy.
-
Specification