Note: [1] Research partially supported by Italian CNR and MURST. An extended abstract of this paper – entitled “A Taxonomy of Trace-based Security Properties for CCS” – appeared in Proc. Seventh IEEE Computer Security Foundations Workshop (CSFW'94), (Li Gong Ed.), IEEE Press, 126-136, Franconia (NB), June 1994.
Abstract: Several information flow security definitions, proposed in the literature, are generalized and adapted to the model of labelled transition systems. This very general model has been widely used as a semantic domain for many process algebras, e.g. CCS. As a by-product, we provide a process algebra similar to CCS with a set of security notions, hence relating these two areas of concurrency research. A classification of these generalized security definitions is presented, taking into account also the additional property of input totality, which can influence this taxonomy. We also show that some of these security properties are composable w.r.t. the operators of parallelism and action restriction.
