Access

The nested pages describe, from a security perspective, the expected behavior of our smart contract systems. The purpose of this section is to identify specific security properties that should be validated.