also have sufficient coverage for related concepts such as properties, but gaps are likely, such
as temporal consistency and atomicity.
6) The work in security policies, control spheres, and protection mechanisms may provide a
mechanism for formulating "micro-policies" at an algorithmic level, instead of a product level,