libraries to turnkey applications that may be composed of other, smaller
components. Regardless, as they are considered for assembly into a new
component-based system, each component’s security properties need to be
defined to be sufficient and meaningful to the other components to which