抽象安全性质

he thesis of this paper is on the abstract theory of security properties. Based on the properties of process algebra operators, this paper investigates the abstract security properties, the partial order on the set of the abstract security properties. Compositional invariant security properties and constructive security properties are defined, and proved to exist. It is also proved that security properties are degraded under compositional operators. Absolute security property is formally defined and is associated with trivial security property. The above results are adapted in the context of process algebra.