This section is divided in two subsections. They aim to answer three simple questions about the properties verification integrated into the Hapi tool: What, Why and How.

We present what are the checks made by the Hapi tool, as well as why we decided that such checks should be made in an Access Policy system. A simple example is given motivating the application of the verification.

We also explain how the checks are made in our tool, giving a brief description of them, an use case example and the implementation of the code to perform such verification, providing at the end the result of the execution of the verification, based on in the example given.

The current properties that can be verified so far are:

  • Collision
  • Permissivenes

The configuration files and the tools needed to perform these checks with Hapi, are all described in the Testing Section.