add semantic meaning to aspects. Integrity, confidentiality, and
authentication are examples given by UMLSec’s inventor of security
properties that can be expressed in UMLSec extensions, and therefore
used as specification elements by AOM security models.