Adding assertions

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

  1. Click Add.
  2. Select the assertion from the Filtered Tree Selection dialog in the Select Assertion Type popup window.
  3. 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.
  4. Enter the desired property values. This will add the assertion as a record in the table under the category.
  5. 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.

Related concepts
Implementing an assertion flag
Working with the assertion type editor
Related reference
Setting up an assertion listing