Claims Analysis
Total Claims: 45
Claim 1
Independent Claim
143 words
A method of recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, comprising the computer-implemented steps of: receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; verifying that the first policy and the second policy each conform to the formal policy definition by performing the steps of: verifying that the first policy and the second policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first policy and the second policy conflict, according to a set of conflict tests; and when the first policy and the second policy conflict, resolving the conflict among the policies.
Claim 2
Independent Claim
143 words
A method of recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, comprising the computer-implemented steps of: receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; verifying that the first policy and the second policy each conform to the formal policy definition by performing the steps of: verifying that the first policy and the second policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first policy and the second policy conflict, according to a set of conflict tests; and when the first policy and the second policy conflict, resolving the conflict among the policies.
Claim 3
Dependent Claim
18 words
The method recited in claim 1 , wherein each policy comprises at least one consequent for each condition.
Claim 4
Dependent Claim
49 words
The method recited in claim 2 , wherein the at least one consequent indicates one of the following: to allow information to pass through the policy-based system; to deny information from passing through the policy-based system; to mark information passing through the policy-based system; or to initiate a service.
Claim 5
Dependent Claim
26 words
The method recited in claim 2 , wherein the at least one consequent identifies a state that is to be established when the condition is satisfied.
Claim 6
Dependent Claim
28 words
The method recited in claim 2 , wherein the at least one consequent identifies an action that is to be taken or attempted when the condition is satisfied.
Claim 7
Dependent Claim
23 words
The method recited in claim 1 , wherein at least one condition element identifies a service type, a user type, or a time.
Claim 8
Dependent Claim
23 words
The method recited in claim 1 , wherein at least one condition element identifies a source address, a destination address or a port.
Claim 9
Dependent Claim
62 words
The method recited in claim 1 , wherein the step of testing comprises the steps of: identifying the conflict when a first condition of the first policy and a second condition of the second policy may be simultaneously true and when a first consequent of the first policy and a second consequent of the second policy may not be carried out simultaneously.
Claim 10
Dependent Claim
41 words
The method recited in claim 1 , wherein the step of resolving comprises the steps of: displaying information that describes the conflict; and receiving modification information that modifies the first policy or the second policy so as to eliminate the conflict.
Claim 11
Dependent Claim
42 words
The method recited in claim 1 , wherein the step of resolving comprises the steps of: displaying information that describes the conflict; and receiving precedence information that identifies whether the first policy or the second policy shall take precedence over the other.
Claim 12
Dependent Claim
33 words
The method recited in claim 1 , further comprising the steps of: when either the first policy or the second policy is not defined according to the formal policy definition, generating an error.
Claim 13
Dependent Claim
179 words
In a network management system, a method of recognizing and resolving a conflict among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; verifying that the first network management policy and the second network management policy each conform to the formal policy definition by performing the steps of: verifying that the first network management policy and the second network management policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and when the first network management policy and the second network management policy conflict, resolving the conflict among the network management policies.
Claim 14
Dependent Claim
179 words
In a network management system, a method of recognizing and resolving a conflict among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; verifying that the first network management policy and the second network management policy each conform to the formal policy definition by performing the steps of: verifying that the first network management policy and the second network management policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and when the first network management policy and the second network management policy conflict, resolving the conflict among the network management policies.
Claim 15
Dependent Claim
61 words
The method recited in claim 12 , wherein each network management policy comprises at least one consequent for each condition, and wherein the at least one consequent indicates one of the following: to allow information to pass through the network; to deny information from passing through the network; to mark information passing through the network; or to initiate a network service.
Claim 16
Dependent Claim
70 words
The method recited in claim 12 , wherein the step of testing comprises the steps of: identifying the conflict when a first condition of the first network management policy and a second condition of the second network management policy may be simultaneously true and when a first consequent of the first network management policy and a second consequent of the second network management policy may not be carried out simultaneously.
Claim 17
Dependent Claim
69 words
The method recited in claim 12 , wherein the step of resolving comprises the steps of: displaying information that describes the conflict; and receiving modification information that modifies the first network management policy or the second network management policy so as to eliminate the conflict, or receiving precedence information that identifies whether the first network management policy or the second network management policy shall take precedence over the other.
Claim 18
Dependent Claim
172 words
A computer-readable medium carrying one or more sequences of instructions for recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, wherein execution of the one or more sequences of instructions by one or more processors causes the one or more processors to perform the steps of: receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; verifying that the first policy and the second policy each conform to the formal policy definition by performing the steps of: verifying that the first policy and the second policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first policy and the second policy conflict, according to a set of conflict tests; and when the first policy and the second policy conflict, resolving the conflict among the policies.
Claim 19
Dependent Claim
172 words
A computer-readable medium carrying one or more sequences of instructions for recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, wherein execution of the one or more sequences of instructions by one or more processors causes the one or more processors to perform the steps of: receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; verifying that the first policy and the second policy each conform to the formal policy definition by performing the steps of: verifying that the first policy and the second policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first policy and the second policy conflict, according to a set of conflict tests; and when the first policy and the second policy conflict, resolving the conflict among the policies.
Claim 20
Dependent Claim
19 words
The computer-readable medium recited in claim 16 , wherein each policy comprises at least one consequent for each condition.
Claim 21
Dependent Claim
50 words
The computer-readable medium recited in claim 17 , wherein the at least one consequent indicates one of the following: to allow information to pass through the policy-based system; to deny information from passing through the policy-based system; to mark information passing through the policy-based system; or to initiate a service.
Claim 22
Dependent Claim
27 words
The computer-readable medium recited in claim 17 , wherein the at least one consequent identifies a state that is to be established when the condition is satisfied.
Claim 23
Dependent Claim
29 words
The computer-readable medium recited in claim 17 , wherein the at least one consequent identifies an action that is to be taken or attempted when the condition is satisfied.
Claim 24
Dependent Claim
81 words
The computer-readable medium recited in claim 16 , wherein the step of testing comprises instructions which, when executed by one or more processors, cause the one or more processors to carry out the steps of: identifying the conflict when a first condition of the first policy and a second condition of the second policy may be simultaneously true and when a first consequent of the first policy and a second consequent of the second policy may not be carried out simultaneously.
Claim 25
Dependent Claim
60 words
The computer-readable medium recited in claim 16 , wherein the step of resolving comprises instructions which, when executed by one or more processors, cause the one or more processors to carry out the steps of: displaying information that describes the conflict; and receiving modification information that modifies the first policy or the second policy so as to eliminate the conflict.
Claim 26
Dependent Claim
61 words
The computer-readable medium recited in claim 16 , wherein the step of resolving comprises instructions which, when executed by one or more processors, cause the one or more processors to carry out the steps of: displaying information that describes the conflict; and receiving precedence information that identifies whether the first policy or the second policy shall take precedence over the other.
Claim 27
Independent Claim
152 words
An apparatus for recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, comprising: means for receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; means for verifying that the first policy and the second policy each conform to the formal policy definition, wherein the means for verifying comprise: means for verifying that the first policy and the second policy each contain exactly one condition; and means for verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; means for testing whether the first policy and the second policy conflict, according to a set of conflict tests; and means for resolving the conflict among the policies, when the first policy and the second policy conflict.
Claim 28
Independent Claim
152 words
An apparatus for recognizing and resolving a conflict among at least a first policy and a second policy that govern a policy-based system, comprising: means for receiving the first policy and the second policy, wherein the first policy and the second policy are defined according to a formal policy definition; means for verifying that the first policy and the second policy each conform to the formal policy definition, wherein the means for verifying comprise: means for verifying that the first policy and the second policy each contain exactly one condition; and means for verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; means for testing whether the first policy and the second policy conflict, according to a set of conflict tests; and means for resolving the conflict among the policies, when the first policy and the second policy conflict.
Claim 29
Dependent Claim
18 words
The apparatus recited in claim 24 , wherein each policy comprises at least one consequent for each condition.
Claim 30
Dependent Claim
49 words
The apparatus recited in claim 25 , wherein the at least one consequent indicates one of the following: to allow information to pass through the policy-based system; to deny information from passing through the policy-based system; to mark information passing through the policy-based system; or to initiate a service.
Claim 31
Dependent Claim
26 words
The apparatus recited in claim 25 , wherein the at least one consequent identifies a state that is to be established when the condition is satisfied.
Claim 32
Dependent Claim
28 words
The apparatus recited in claim 25 , wherein the at least one consequent identifies an action that is to be taken or attempted when the condition is satisfied.
Claim 33
Dependent Claim
61 words
The apparatus recited in claim 24 , wherein the means for testing comprises: means for identifying the conflict when a first condition of the first policy and a second condition of the second policy may be simultaneously true and when a first consequent of the first policy and a second consequent of the second policy may not be carried out simultaneously.
Claim 34
Dependent Claim
42 words
The apparatus recited in claim 24 , wherein the means for resolving comprises: means for displaying information that describes the conflict; and means for receiving modification information that modifies the first policy or the second policy so as to eliminate the conflict.
Claim 35
Dependent Claim
43 words
The apparatus recited in claim 24 , wherein the means for resolving comprises: means for displaying information that describes the conflict; and means for receiving precedence information that identifies whether the first policy or the second policy shall take precedence over the other.
Claim 36
Independent Claim
192 words
An apparatus for recognizing and resolving a conflict in a network management system among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: means for receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; means for verifying that the first network management policy and the second network management policy each conform to the formal policy definition, wherein the means for verifying comprises: means for verifying that the first network management policy and the second network management policy each contain exactly one condition; and means for verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; means for testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and means for resolving the conflict among the network management policies, when the first network management policy and the second network management policy conflict.
Claim 37
Independent Claim
192 words
An apparatus for recognizing and resolving a conflict in a network management system among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: means for receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; means for verifying that the first network management policy and the second network management policy each conform to the formal policy definition, wherein the means for verifying comprises: means for verifying that the first network management policy and the second network management policy each contain exactly one condition; and means for verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; means for testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and means for resolving the conflict among the network management policies, when the first network management policy and the second network management policy conflict.
Claim 38
Dependent Claim
61 words
The apparatus recited in claim 32 , wherein each network management policy comprises at least one consequent for each condition, and wherein the at least one consequent indicates one of the following: to allow information to pass through the network; to deny information from passing through the network; to mark information passing through the network; or to initiate a network service.
Claim 39
Dependent Claim
69 words
The apparatus recited in claim 32 , wherein the means for testing comprises: means for identifying the conflict when a first condition of the first network management policy and a second condition of the second network management policy may be simultaneously true and when a first consequent of the first network management policy and a second consequent of the second network management policy may not be carried out simultaneously.
Claim 40
Dependent Claim
70 words
The apparatus recited in claim 32 , wherein the means for resolving comprises: means for displaying information that describes the conflict; and means for receiving modification information that modifies the first network management policy or the second network management policy so as to eliminate the conflict, or receiving precedence information that identifies whether the first network management policy or the second network management policy shall take precedence over the other.
Claim 41
Independent Claim
218 words
An apparatus for recognizing and resolving a conflict in a network management system among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: a network interface; a processor coupled to the network interface and receiving information from the network interface; one or more stored sequences of instructions which, when executed by the processor, cause the processor to carry out the steps of: receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; verifying that the first network management policy and the second network management policy each conform to the formal policy definition by performing the steps of: verifying that the first network management policy and the second network management policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and when the first network management policy and the second network management policy conflict, resolving the conflict among the network management policies.
Claim 42
Independent Claim
218 words
An apparatus for recognizing and resolving a conflict in a network management system among at least a first network management policy and a second network management policy that govern operation of a network, comprising the computer-implemented steps of: a network interface; a processor coupled to the network interface and receiving information from the network interface; one or more stored sequences of instructions which, when executed by the processor, cause the processor to carry out the steps of: receiving the first network management policy and the second network management policy, wherein the first network management policy and the second network management policy are defined according to a formal policy definition; verifying that the first network management policy and the second network management policy each conform to the formal policy definition by performing the steps of: verifying that the first network management policy and the second network management policy each contain exactly one condition; and verifying that each condition expresses one or more Boolean relations among one or more condition categories and one or more condition elements; testing whether the first network management policy and the second network management policy conflict, according to a set of conflict tests; and when the first network management policy and the second network management policy conflict, resolving the conflict among the network management policies.
Claim 43
Dependent Claim
58 words
The apparatus recited in claim 36 , wherein each network management policy comprises at least one consequent for each condition, and wherein the consequent indicates one of the following: to allow information to pass through the network; to deny information from passing through the network; to mark information passing through the network; or to initiate a network service.
Claim 44
Dependent Claim
84 words
The apparatus recited in claim 36 , wherein the instructions for testing further comprise instructions which, when executed by the processor, cause the processor to carry out the steps of: identifying the conflict when a first condition of the first network management policy and a second condition of the second network management policy may be simultaneously true and when a first consequent of the first network management policy and a second consequent of the second network management policy may not be carried out simultaneously.
Claim 45
Dependent Claim
83 words
The apparatus recited in claim 36 , wherein the instructions for resolving further comprise instructions which, when executed by the processor, cause the processor to carry out the steps of: displaying information that describes the conflict; and receiving modification information that modifies the first network management policy or the second network management policy so as to eliminate the conflict, or receiving precedence information that identifies whether the first network management policy or the second network management policy shall take precedence over the other.