and system resources to ensure that security properties are enforced. It can also be used by
attackers to modify resources so that they do not have the expected properties.
Channels, Actors, Roles, and Directives (CARD)
Within the product, one or more ACTORS take on certain ROLES and perform