This procedure describes how to add an Assertion.
You can add assertions to both endpoints and policies. Five assertion
categories are provided in the drop down Assertion options form.
To
add an Assertion
- Click Add.
- Select the assertion from the Filtered Tree Selection dialog in
the Select Assertion Type popup window.
- After selecting the assertion type you will be presented with an
assertion editor dialog. Select Required if you want the assertion to always
be true and Locked if you do not want the assertion value to be changed.
- Enter the desired property values. This will add the assertion
as a record in the table under the category.
- Repeat the process to add more assertions.
Navigation
Navigate to the Editor of the Policy/Endpoint
and access the Contract/Assertions tab from the bottom of the Editor.